Class DSLGeneratorUtils
- java.lang.Object
-
- de.sebinside.dcp.dsl.generator.util.DSLGeneratorUtils
-
public class DSLGeneratorUtils extends Object
-
-
Constructor Summary
Constructors Constructor Description DSLGeneratorUtils()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Iterable<org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm>combineRuleArguments(List<org.palladiosimulator.supporting.prolog.model.prolog.Rule> rules)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateCharacteristicsClassTerm(CharacteristicClass characteristicClass)static org.palladiosimulator.supporting.prolog.model.prolog.expressions.UnificationcreateConstraintNameUnification(String constraintName)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateFlowTreeCall(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm node, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm pin, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm stack)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateFreeVariableTerm(CharacteristicVariableType variable)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateMemberQuery(org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString valueSet, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm member)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateParameterQuery(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression node, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression pin, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression property, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression value, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression stack)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreatePropertyQuery(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression node, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression property, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression value)static org.palladiosimulator.supporting.prolog.model.prolog.expressions.UnificationcreateQueryTypeUnification(String queryType)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateSetOfQuery(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm iteratorTemplate, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression query, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression resultVariable)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermcreateTemporalVariableTerm(String name)static org.palladiosimulator.supporting.prolog.model.prolog.expressions.ExpressionexpressionsToLogicalAnd(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)static org.palladiosimulator.supporting.prolog.model.prolog.expressions.ExpressionexpressionsToLogicalOr(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)static EObjectfindParentOfType(EObject start, EClass parentType)static org.palladiosimulator.supporting.prolog.model.prolog.expressions.NotProvablenegate(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expression)static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTermruleToRuleCall(org.palladiosimulator.supporting.prolog.model.prolog.Rule rule)static voidsaveFile(org.eclipse.xtext.generator.IFileSystemAccess2 fsa, Resource resource, org.palladiosimulator.supporting.prolog.model.prolog.Program program, String fileName)
-
-
-
Method Detail
-
ruleToRuleCall
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm ruleToRuleCall(org.palladiosimulator.supporting.prolog.model.prolog.Rule rule)
-
combineRuleArguments
public static Iterable<org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm> combineRuleArguments(List<org.palladiosimulator.supporting.prolog.model.prolog.Rule> rules)
-
negate
public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.NotProvable negate(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expression)
-
expressionsToLogicalAnd
public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expressionsToLogicalAnd(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)
-
expressionsToLogicalOr
public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expressionsToLogicalOr(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)
-
createQueryTypeUnification
public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification createQueryTypeUnification(String queryType)
-
createConstraintNameUnification
public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification createConstraintNameUnification(String constraintName)
-
createFlowTreeCall
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createFlowTreeCall(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm node, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm pin, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm stack)
-
createMemberQuery
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createMemberQuery(org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString valueSet, org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm member)
-
createCharacteristicsClassTerm
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createCharacteristicsClassTerm(CharacteristicClass characteristicClass)
-
createFreeVariableTerm
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createFreeVariableTerm(CharacteristicVariableType variable)
-
createTemporalVariableTerm
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createTemporalVariableTerm(String name)
-
createSetOfQuery
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createSetOfQuery(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm iteratorTemplate, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression query, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression resultVariable)
-
createPropertyQuery
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createPropertyQuery(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression node, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression property, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression value)
-
createParameterQuery
public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm createParameterQuery(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression node, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression pin, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression property, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression value, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression stack)
-
saveFile
public static void saveFile(org.eclipse.xtext.generator.IFileSystemAccess2 fsa, Resource resource, org.palladiosimulator.supporting.prolog.model.prolog.Program program, String fileName)
-
-