Class SpecialisationGenerator


  • public final class SpecialisationGenerator
    extends java.lang.Object
    Specialise classes written for primitive type int for other primitive types by substitution.
    • Constructor Detail

      • SpecialisationGenerator

        public SpecialisationGenerator()
        Create a new instance.
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException
        Main method.
        Parameters:
        args - command line args.
        Throws:
        java.io.IOException - in case of I/O error.
      • specialise

        public static void specialise​(java.util.List<SpecialisationGenerator.Substitution> substitutions,
                                      java.lang.String packageName,
                                      java.lang.String srcClassName,
                                      java.lang.String srcDirName,
                                      java.lang.String dstDirName)
                               throws java.io.IOException
        Specialise a class replacing int types based on SpecialisationGenerator.Substitutions.
        Parameters:
        substitutions - to be applied.
        packageName - for the source and destination classes.
        srcClassName - to be specialised.
        srcDirName - containing the source file.
        dstDirName - for where the generated file should be stored.
        Throws:
        java.io.IOException - if an error occurs.