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.CompoundTerm
createCharacteristicsClassTerm(CharacteristicClass characteristicClass)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification
createConstraintNameUnification(String constraintName)
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)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm
createFreeVariableTerm(CharacteristicVariableType variable)
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)
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)
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)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification
createQueryTypeUnification(String queryType)
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)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm
createTemporalVariableTerm(String name)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression
expressionsToLogicalAnd(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression
expressionsToLogicalOr(Iterable<? extends org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> expressions)
static EObject
findParentOfType(EObject start, EClass parentType)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.NotProvable
negate(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expression)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm
ruleToRuleCall(org.palladiosimulator.supporting.prolog.model.prolog.Rule rule)
static void
saveFile(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)
-
-