<toc topic="index.html" label="The VIATRA2 Model Transformation Framework"> | |
<topic href="sec_VTCLSpec.html" | |
label="Viatra Textual Command Language (VTCL) Specification"> | |
<topic href="sec_MainVtclConcepts.html" label="VTCL Files and Machines (Transformations)"> | |
<topic href="sec_VtclFile.html" label="VTCL Files"> | |
<topic href="def_VtclFile.html" label="VTCL file"></topic> | |
<topic href="def_NamespaceDefinition.html" label="Namespace Definition"></topic> | |
<topic href="def_NamespaceImport.html" label="Namespace Import"></topic> | |
</topic> | |
<topic href="sec_MachineDefinition.html" label="Machine Definition"> | |
<topic href="def_Machine.html" label="GTASM Machine Definition"></topic> | |
<topic href="def_Annotation.html" label="Annotation"></topic> | |
</topic> | |
</topic> | |
<topic href="sec_GraphPatterns.html" label="Graph Patterns"> | |
<topic href="sec_PatternDefinition.html" label="Pattern Definition"> | |
<topic href="def_GraphPatternDef.html" label="Graph Pattern Definition"></topic> | |
<topic href="def_PatternBody.html" label="Pattern Body"></topic> | |
<topic href="def_NegativePattern.html" label="Negative Pattern"></topic> | |
<topic href="def_GraphPatternCall.html" label="Graph Pattern Call"></topic> | |
<topic href="def_PatternComposition.html" label="Pattern Composition"></topic> | |
<topic href="def_PatternVariable.html" label="Pattern Variable"></topic> | |
<topic href="def_PatternVariableAssignment.html" label="Pattern Variable Assignment"></topic> | |
<topic href="def_CheckCondition.html" label="Check Condition"></topic> | |
<topic href="def_ContainmentConstraint.html" label="Containment Constraint"></topic> | |
</topic> | |
<topic href="sec_LocalPatternlElementDescription.html" label="Local Pattern Body Elements"> | |
<topic href="def_Entity.html" label="Entity"></topic> | |
<topic href="def_Relation.html" label="Relation"></topic> | |
<topic href="def_Relationship.html" label="Relationships"></topic> | |
</topic> | |
</topic> | |
<topic href="sec_GraphTransformations.html" label="Graph Transformation Rules"> | |
<topic href="sec_DefGTRule.html" label="Definition of Graph Transformation Rules"> | |
<topic href="def_GTRuleDef.html" label="Graph Transformation Rule Definition"></topic> | |
</topic> | |
<topic href="sec_GTParamPass.html" label="Parameter passing at Graph Transformation Rules"></topic> | |
<topic href="sec_GTRuleBehaviour.html" | |
label="Behavioural Specification of Graph Transformation Rules"> | |
<topic href="sec_PostconditionRestriction.html" | |
label="Restrictions of model elements used in postcondition patterns"></topic> | |
<topic href="sec_PostconditionSpec.html" | |
label="Complete behavioral specification of postcondition patterns"></topic> | |
<topic href="sec_ConflictHandling.html" label="Handling of conflicts"></topic> | |
</topic> | |
<topic href="sec_InvokeGTRule.html" label="Invocation of Graph Transformation Rules"> | |
<topic href="def_GTRuleCall.html" label="GTRule Call"></topic> | |
</topic> | |
</topic> | |
<topic href="sec_ASMRules.html" label="ASM Rules"> | |
<topic href="sec_DefASMRule.html" label="ASM Rule Definition and Invocation"> | |
<topic href="def_AsmRuleDef.html" label="ASM Rule Definition"></topic> | |
<topic href="def_AsmRuleInvoc.html" label="ASM Rule Invocation"></topic> | |
</topic> | |
<topic href="sec_ASMSimpleRules.html" label="Simple ASM Rules"> | |
<topic href="def_SimpleRule.html" label="Simple Rule"></topic> | |
<topic href="def_CallRule.html" label="Call Rule"></topic> | |
<topic href="def_SkipRule.html" label="Skip Rule"></topic> | |
<topic href="def_FailRule.html" label="Fail Rule"></topic> | |
<topic href="def_UpdateRule.html" label="Update Rule"></topic> | |
<topic href="def_PrintRule.html" label="Print Rule"></topic> | |
<topic href="def_LogRule.html" label="Log Rule"></topic> | |
</topic> | |
<topic href="sec_ASMCompoundRules.html" label="Compound ASM Rules"> | |
<topic href="def_CompoundRule.html" label="Compound Rule"></topic> | |
<topic href="def_SequentialRule.html" label="Sequential Rule"></topic> | |
<topic href="def_ParallelRule.html" label="Parallel Rule"></topic> | |
<topic href="def_RandomRule.html" label="Random Rule"></topic> | |
<topic href="def_LetRule.html" label="Let Rule"></topic> | |
<topic href="def_ChooseRule.html" label="Choose Rule"></topic> | |
<topic href="def_ForallRule.html" label="Forall Rule"></topic> | |
<topic href="def_IterateRule.html" label="Iterate Rule"></topic> | |
<topic href="def_IfRule.html" label="If Rule"></topic> | |
<topic href="def_TryRule.html" label="Try Rule"></topic> | |
</topic> | |
<topic href="sec_ASMModelManipulationRules.html" label="Model Manipulation Rules"> | |
<topic href="def_ModelManipulationRule.html" label="Model Manipulation Rule"></topic> | |
<topic href="def_CreateRule.html" label="Create Rule"></topic> | |
<topic href="def_DeleteRule.html" label="Delete Rule"></topic> | |
<topic href="def_CopyRule.html" label="Copy Rule"></topic> | |
<topic href="def_MoveRule.html" label="Move Rule"></topic> | |
<topic href="def_ElementUpdateRule.html" label="Element Update Rule"></topic> | |
</topic> | |
</topic> | |
<topic href="sec_ASMTermsFormulas.html" label="ASM Terms and ASM Functions"> | |
<topic href="sec_ASMTerms.html" label="ASM Terms: An Overview"> | |
<topic href="def_Term.html" label="ASM Term"></topic> | |
</topic> | |
<topic href="sec_ASMLogicalTerms.html" label="Logical Terms"> | |
<topic href="def_LogicalTerm.html" label="Logical Term"></topic> | |
<topic href="def_ConjLogicalTerm.html" label="Conjunctive Logical Term (Logical And Term)"></topic> | |
<topic href="def_BaseLogicalTerm.html" label="Base Logical Term"></topic> | |
</topic> | |
<topic href="sec_ASMArithmeticTerms.html" label="Arithmetic Terms"> | |
<topic href="def_ArithmeticTerm.html" label="Arithmetic Term"></topic> | |
<topic href="def_MultArithmeticTerm.html" label="Multiplicative Arithmetic Term"></topic> | |
<topic href="def_UnaryArithmeticTerm.html" label="Unary Arithmetic Term"></topic> | |
<topic href="def_BaseArithmeticTerm.html" label="Base Arithmetic Term"></topic> | |
</topic> | |
<topic href="sec_ASMConstants.html" label="Constants"> | |
<topic href="def_AsmConstant.html" label="ASM Constant (Value)"></topic> | |
<topic href="def_UndefinedValue.html" label="Undefined Value"></topic> | |
<topic href="def_BooleanConstant.html" label="Boolean Constant"></topic> | |
<topic href="def_MultiplicityConstant.html" label="Multiplicity Constant"></topic> | |
<topic href="def_StringConstant.html" label="String Constant"></topic> | |
<topic href="def_IntConstant.html" label="Integer Constants"></topic> | |
<topic href="def_FloatConstant.html" label="Float Constant"></topic> | |
<topic href="def_ModelElementConstant.html" label="Model Element Constant"></topic> | |
</topic> | |
<topic href="sec_ASMFunctions.html" label="ASM Functions"> | |
<topic href="def_AsmFunctionDef.html" label="ASM Function Definition"></topic> | |
<topic href="def_InitialValue.html" label="Initial Value"></topic> | |
<topic href="def_AsmFunctionLocation.html" label="ASM Function Location"></topic> | |
</topic> | |
<topic href="sec_PredefinedFunctions.html" label="Predefined Functions"> | |
<topic href="def_PredefinedFunctionCall.html" label="Predefined Function Call"></topic> | |
</topic> | |
<topic href="sec_NamingVariables.html" label="Naming and Variables"> | |
<topic href="def_ModelElementName.html" label="Model Element Name"></topic> | |
<topic href="def_Variable.html" label="Variable"></topic> | |
</topic> | |
<topic href="sec_Parameters.html" label="Parameters and Variable Lists"> | |
<topic href="def_FormalParameter.html" label="Formal Parameters"></topic> | |
<topic href="def_DirectedFormalParameter.html" label="Directed Formal Parameters"></topic> | |
<topic href="def_ActualParameter.html" label="Actual Parameters"></topic> | |
<topic href="def_ConstrainedVariableList.html" label="Constrained Variable List"></topic> | |
</topic> | |
</topic> | |
<topic href="sec_VTCLTokens.html" label="Tokens in the VTCL Language"> | |
<topic href="sec_TokensOverview.html" label="VTCL tokens: An Overview"> | |
<topic href="def_Token.html" label="Tokens"></topic> | |
<topic href="def_VTCLKeywords.html" label="Keywords"></topic> | |
</topic> | |
<topic href="sec_NameTokens.html" label="Tokens for names and strings"> | |
<topic href="def_Identifier.html" label="Identifier"></topic> | |
<topic href="def_NameLiteral.html" label="Name Literal"></topic> | |
<topic href="def_UpperCaseLiteral.html" label="UpperCase Literal"></topic> | |
<topic href="def_StringLiteral.html" label="String Literal"></topic> | |
<topic href="def_AnnotationLiteral.html" label="Annotation Literal"></topic> | |
</topic> | |
<topic href="sec_NumberTokens.html" label="Tokens for numbers"> | |
<topic href="def_IntegerLiteral.html" label="Integer Literal"></topic> | |
<topic href="def_FloatLiteral.html" label="Float Literal"></topic> | |
</topic> | |
</topic> | |
</topic> | |
<topic href="sec_index.html" label="Index"></topic> | |
<anchor id="contribution" /> | |
</toc> |