Navigation.jrag 2.84 KB
Newer Older
1
2
aspect Navigation {

3
4
  // --- program ---
  eq Ros2Rag.getChild().program() = getProgram();
5

René Schöne's avatar
René Schöne committed
6
  // --- ros2rag ---
7
8
9
  inh Ros2Rag ASTNode.ros2rag();
  eq Ros2Rag.getChild().ros2rag() = this;

10
  // --- containedFile (first equation should be in preprocessor) ---
René Schöne's avatar
René Schöne committed
11
12
13
  eq Program.getChild().containedFile() = null;
  eq Ros2Rag.getChild().containedFile() = null;

14
  // --- isTypeComponent (should be in preprocessor) ---
René Schöne's avatar
René Schöne committed
15
16
  syn boolean Component.isTypeComponent() = false;
  eq TypeComponent.isTypeComponent() = true;
17

René Schöne's avatar
René Schöne committed
18
19
20
21
  // --- asTypeComponent (should be in preprocessor) ---
  syn TypeComponent Component.asTypeComponent() = null;
  eq TypeComponent.asTypeComponent() = this;

René Schöne's avatar
René Schöne committed
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
  // --- isListComponent (should be in preprocessor) ---
  syn boolean Component.isListComponent() = false;
  eq ListComponent.isListComponent() = true;

  // --- asListComponent (should be in preprocessor) ---
  syn ListComponent Component.asListComponent() = null;
  eq ListComponent.asListComponent() = this;

  // --- containedFileName (should replace containedFile in preprocessor) ---
  inh String ASTNode.containedFileName();
  eq GrammarFile.getChild().containedFileName() = getFileName();
  eq Ros2Rag.getChild().containedFileName() = getFileName();
  eq Program.getChild().containedFileName() = null;

  // --- isTokenUpdateDefinition ---
  syn boolean UpdateDefinition.isTokenUpdateDefinition() = false;
  eq TokenUpdateDefinition.isTokenUpdateDefinition() = true;

  // --- asTokenUpdateDefinition ---
  syn TokenUpdateDefinition UpdateDefinition.asTokenUpdateDefinition() = null;
  eq TokenUpdateDefinition.asTokenUpdateDefinition() = this;

René Schöne's avatar
René Schöne committed
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
  // --- isWriteToMqttDefinition ---
  syn boolean UpdateDefinition.isWriteToMqttDefinition() = false;
  eq WriteToMqttDefinition.isWriteToMqttDefinition() = true;

  // --- asWriteToMqttDefinition ---
  syn WriteToMqttDefinition UpdateDefinition.asWriteToMqttDefinition() = null;
  eq WriteToMqttDefinition.asWriteToMqttDefinition() = this;

  // --- targetUpdateDefinition ---
  syn WriteToMqttDefinition DependencyDefinition.targetUpdateDefinition() {
    // resolve definition in here, as we do not need resolveMethod in any other place (yet)
    for (UpdateDefinition updateDefinition : ros2rag().getUpdateDefinitionList()) {
      if (updateDefinition.isWriteToMqttDefinition() &&
          updateDefinition.asWriteToMqttDefinition().getToken().equals(this.getTarget())) {
        return updateDefinition.asWriteToMqttDefinition();
      }
    }
    return null;
  }
63
64
65
66

  // --- isDefaultMappingDefinition ---
  syn boolean MappingDefinition.isDefaultMappingDefinition() = false;
  eq DefaultMappingDefinition.isDefaultMappingDefinition() = true;
René Schöne's avatar
René Schöne committed
67
68
69
70
71
72

  // --- allTokenComponents ---
  coll java.util.Set<TokenComponent> Program.allTokenComponents() [new java.util.HashSet<>()] root Program;
  TokenComponent contributes this
    to Program.allTokenComponents()
    for program();
73
}