RagConnect.relast 1.3 KB
Newer Older
René Schöne's avatar
René Schöne committed
1
2
3
4
RagConnect ::= ConnectSpecificationFile* Program ;

abstract ConnectSpecification ::= EndpointDefinition* DependencyDefinition* MappingDefinition* ;
ConnectSpecificationFile : ConnectSpecification ::= <FileName> ;
5

6
abstract EndpointDefinition ::= <AlwaysApply:boolean> ;
7

René Schöne's avatar
René Schöne committed
8
rel EndpointDefinition.Mapping* <-> MappingDefinition.UsedAt*;
9

10
abstract TokenEndpointDefinition : EndpointDefinition;
René Schöne's avatar
René Schöne committed
11
rel TokenEndpointDefinition.Token <-> TokenComponent.TokenEndpointDefinition*;
12

13
14
ReceiveTokenEndpointDefinition : TokenEndpointDefinition;
SendTokenEndpointDefinition : TokenEndpointDefinition;
15

16
17
18
19
20
21
abstract TypeEndpointDefinition : EndpointDefinition;
rel TypeEndpointDefinition.Type <-> TypeComponent.TypeEndpointDefinition*;

ReceiveTypeEndpointDefinition : TypeEndpointDefinition;
SendTypeEndpointDefinition : TypeEndpointDefinition;

22
23
DependencyDefinition ::= <ID>;
rel DependencyDefinition.Source <-> TokenComponent.DependencySourceDefinition*;
René Schöne's avatar
René Schöne committed
24
rel DependencyDefinition.Target -> Component;
25

26
27
28
29
MappingDefinition ::= <ID> FromType:MappingDefinitionType <FromVariableName> ToType:MappingDefinitionType <Content> ;
abstract MappingDefinitionType ::= ;
JavaMappingDefinitionType : MappingDefinitionType ::= Type:JavaTypeUse ;
JavaArrayMappingDefinitionType : MappingDefinitionType ::= Type:JavaTypeUse ;
30
DefaultMappingDefinition : MappingDefinition ;