Class PCMDFDConstraintLanguageGenerator

  • All Implemented Interfaces:
    org.eclipse.xtext.generator.IGenerator2

    public class PCMDFDConstraintLanguageGenerator
    extends de.sebinside.dcp.dsl.generator.DSLGenerator
    Generates code from your model files on save. See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#code-generation
    • Field Summary

      • Fields inherited from class de.sebinside.dcp.dsl.generator.DSLGenerator

        converter
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void doGenerate​(Resource resource, org.eclipse.xtext.generator.IFileSystemAccess2 fsa, org.eclipse.xtext.generator.IGeneratorContext context)  
      org.palladiosimulator.supporting.prolog.model.prolog.Program generateFromModel​(Model model)  
      org.palladiosimulator.supporting.prolog.model.prolog.Rule generateRule​(de.sebinside.dcp.dsl.dSL.Rule mainRule, String constraintName, de.sebinside.dcp.dsl.generator.crossplatform.Converter converter, Iterable<de.sebinside.dcp.dsl.dSL.GlobalConstantDefinition> globalConstants)  
      de.sebinside.dcp.dsl.generator.crossplatform.Converter setTransitiveTransformationTrace​(org.palladiosimulator.dataflow.confidentiality.pcm.workflow.TransitiveTransformationTrace trace)  
      • Methods inherited from class de.sebinside.dcp.dsl.generator.DSLGenerator

        compile, compile, generateFromModel, getCallableQueryProgram, getConverter, setDFD2PrologTrace
      • Methods inherited from class org.eclipse.xtext.generator.AbstractGenerator

        afterGenerate, beforeGenerate
    • Constructor Detail

      • PCMDFDConstraintLanguageGenerator

        public PCMDFDConstraintLanguageGenerator()
    • Method Detail

      • doGenerate

        public void doGenerate​(Resource resource,
                               org.eclipse.xtext.generator.IFileSystemAccess2 fsa,
                               org.eclipse.xtext.generator.IGeneratorContext context)
        Specified by:
        doGenerate in interface org.eclipse.xtext.generator.IGenerator2
        Overrides:
        doGenerate in class de.sebinside.dcp.dsl.generator.DSLGenerator
      • generateFromModel

        public org.palladiosimulator.supporting.prolog.model.prolog.Program generateFromModel​(Model model)
      • generateRule

        public org.palladiosimulator.supporting.prolog.model.prolog.Rule generateRule​(de.sebinside.dcp.dsl.dSL.Rule mainRule,
                                                                                      String constraintName,
                                                                                      de.sebinside.dcp.dsl.generator.crossplatform.Converter converter,
                                                                                      Iterable<de.sebinside.dcp.dsl.dSL.GlobalConstantDefinition> globalConstants)
        Overrides:
        generateRule in class de.sebinside.dcp.dsl.generator.DSLGenerator
      • setTransitiveTransformationTrace

        public de.sebinside.dcp.dsl.generator.crossplatform.Converter setTransitiveTransformationTrace​(org.palladiosimulator.dataflow.confidentiality.pcm.workflow.TransitiveTransformationTrace trace)