Class HenshinTransformationFileProvider


  • public class HenshinTransformationFileProvider
    extends java.lang.Object
    • Field Detail

      • SPLIT_AGGREGATE_BY_ENTITIES

        public static final java.lang.String SPLIT_AGGREGATE_BY_ENTITIES
        See Also:
        Constant Field Values
      • SPLIT_AGGREGATE_BY_ENTITIES_IN_MODULE

        public static final java.lang.String SPLIT_AGGREGATE_BY_ENTITIES_IN_MODULE
        See Also:
        Constant Field Values
    • Constructor Detail

      • HenshinTransformationFileProvider

        public HenshinTransformationFileProvider()
    • Method Detail

      • getTransformationFilePath

        public java.lang.String getTransformationFilePath​(java.lang.String transformationFileName)
      • prepareAllHenshinFiles

        public void prepareAllHenshinFiles()
      • getHenshinDirectory

        public java.io.File getHenshinDirectory()
      • getPID

        public long getPID()