![]() | Syntax |
|---|---|
OptAnnotationsAST ::= $empty | AnnotationsAST
AnnotationsAST ::= AnnotationAST
| AnnotationsAST AnnotationAST
AnnotationAST ::= AnnotationNameAST
| AnnotationNameAST ( AnnotationBodyAST )
AnnotationBodyAST ::= KeyValuePairAST
| AnnotationBodyAST , KeyValuePairAST
KeyValuePairAST ::= TypeNameAST = TypeNameAST
AnnotationNameAST ::= AnnotationLiteral
An annotation has a name which is prefixed by |
![]() | Semantics |
|---|---|
Currently, the VIATRA interpreter accepts three annotations.
|
Remark.
Note that in most cases, the incremental pattern matcher engine has
significantly better performance. However, the default annotation
for a pattern is @localsearch.
Used By: GT rule definition, graph pattern definition, machine