Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "VIATRA2/Examples/VTCL"
(→Overview) |
(→Overview) |
||
Line 10: | Line 10: | ||
Type checking will be available from the next release (expected by the end of June, 2009). | Type checking will be available from the next release (expected by the end of June, 2009). | ||
* [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | * [[VIATRA2/Examples/VTCL/TypeChecking | Type checking rules]] | ||
+ | |||
+ | --[[User:Varro.mit.bme.hu|Varro.mit.bme.hu]] 13:23, 25 May 2009 (UTC) |
Revision as of 09:23, 25 May 2009
Overview
The VTCL transformation language of VIATRA2 has the following main parts:
- Expressions and Terms
- Abstract State Machines (ASMs)
- Model manipulation
- Graph Patterns
- Graph transformation rules
Type checking will be available from the next release (expected by the end of June, 2009).
--Varro.mit.bme.hu 13:23, 25 May 2009 (UTC)