6.1.2. Keywords

6.1.2. Keywords
Prev	6.1. VTCL tokens: An Overview	Next

	Description
	The A keywords of the VTCL language are listed below.

	Syntax
namespace import machine pattern or neg find check supertypeOf subtypeOf typeOf instanceOf gtrule precondition postcondition action apply xor asmfunction rule skip fail call update print println log debug info warning error fatal seq random let in below choose forall with do iterate if try else new delete delete_content move_content copy copy_boundary_edges skip_boundary_edges move rename setValue setFrom setTo setMultiplicity setAggregation setInverse undef true false one_to_one one_to_many many_to_one many_to_many ref fqn name value source target multiplicity aggregation inverse toBoolean toString toInteger toDouble toMultiplicity out inout parallel

Syntax

    namespace import machine pattern or neg find check supertypeOf subtypeOf
    typeOf instanceOf gtrule precondition postcondition action apply xor
    asmfunction rule skip fail call update print println log debug info warning
    error fatal seq random let in below choose forall with do iterate if try else
    new delete delete_content move_content copy copy_boundary_edges
    skip_boundary_edges move rename setValue setFrom setTo setMultiplicity
    setAggregation setInverse undef true false one_to_one one_to_many
    many_to_one many_to_many ref fqn name value source target multiplicity
    aggregation inverse toBoolean toString toInteger toDouble toMultiplicity out inout
    parallel

Constraints

	Constraints
Most of these keywords can be used as identifiers in model element names. Keywords disallowed as identifiers are the following: `check`, `supertypeOf`, `subtypeOf`, `typeOf`, `instanceOf`, KeywordAsIdentifier ::= namespace \| import \| machine \| pattern \| neg \| find \| gtrule \| precondition \| postcondition \| action \| apply \| xor \| asmfunction \| rule \| skip \| fail \| call \| update \| print \| println \| log \| debug \| info \| warning \| error \| fatal \| seq \| random \| let \| in \| below \| choose \| forall \| with \| do \| iterate \| if \| try \| else \| new \| delete \| delete_content \| move_content \| copy \| copy_boundary_edges \| skip_boundary_edges \| move \| rename \| setValue \| setFrom \| setTo \| setMultiplicity \| setAggregation \| setInverse \| undef \| true \| false \| one_to_one \| one_to_many \| many_to_one \| many_to_many \| ref \| fqn \| name \| value \| source \| target \| multiplicity \| aggregation \| inverse \| toBoolean \| toString \| toInteger \| toDouble \| toMultiplicity \| out \| inout -- The following keywords conflict with entity definition, so they are disallowed without ''s -- check \| supertypeOf \| subtypeOf \| typeOf \| instanceOf \|

Most of these keywords can be used as identifiers in model element names. Keywords disallowed as identifiers are the following: check, supertypeOf, subtypeOf, typeOf, instanceOf,

	KeywordAsIdentifier ::= 
    namespace | import | machine | pattern | neg | find |  
    gtrule | precondition | postcondition | action | apply | xor |
    asmfunction | rule | skip | fail | call | update | print | println | log | debug | info | warning |
    error | fatal | seq | random | let | in | below | choose | forall | with | do | iterate | if | try | else |
    new | delete | delete_content | move_content | copy | copy_boundary_edges |
    skip_boundary_edges | move | rename | setValue | setFrom | setTo | setMultiplicity |
    setAggregation | setInverse | undef | true | false | one_to_one | one_to_many |
    many_to_one | many_to_many | ref | fqn | name | value | source | target | multiplicity | 
    aggregation | inverse | toBoolean | toString | toInteger | toDouble | toMultiplicity | out | inout
-- The following keywords conflict with entity definition, so they are disallowed without ''s 
--    check | supertypeOf | subtypeOf |  typeOf | instanceOf |

Defined In: Token

Prev	Up	Next
6.1.1. Tokens	Home	6.2. Tokens for names and strings