Declaration

AST
node type Declaration

General Info

Production

Declaration : ASTNode;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Declaration

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>

Direct Known Subclasses:: State, Transition

Description

Source: Declared in spec/StateMachine.ast at line 7

Constructors

public Declaration()

Attributes

syn Transition transitionOf(State s)

Source: Declared in spec/Exercises.jrag at line 39
Aspect: Exercises

syn State localLookup(java.lang.String label)

Source: Declared in spec/NameAnalysis.jrag at line 18
Aspect: NameAnalysis

inh State lookupForward(java.lang.String label)

Source: Declared in spec/Exercises.jrag at line 15
Aspect: Exercises

inh StateMachine theMachine()

Source: Declared in spec/Exercises.jrag at line 72
Aspect: Exercises

inh State lookup(java.lang.String label)

Source: Declared in spec/NameAnalysis.jrag at line 8
Aspect: NameAnalysis

Methods

public Declaration clone()
                  throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:: java.lang.CloneNotSupportedException

public void pp()

Source: Declared in spec/PrettyPrint.jrag at line 12
Aspect: PrettyPrint

public void printInfoAboutCycles()

Source: Declared in spec/PrintInfoAboutCycles.jrag at line 10
Aspect: PrintInfoAboutCycles

public void printReachable()

Source: Declared in spec/PrintReachable.jrag at line 8
Aspect: PrintReachable

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class ASTNode<ASTNode>

protected int numChildren()

Overrides:numChildren in class ASTNode<ASTNode>

public void flushCache()

Overrides:flushCache in class ASTNode<ASTNode>

public void flushCollectionCache()

Overrides:flushCollectionCache in class ASTNode<ASTNode>

Fields

protected java.util.Set transitionOf_State_visited

protected java.util.Set localLookup_String_visited

protected java.util.Set lookupForward_String_visited

protected boolean theMachine_visited

protected java.util.Set lookup_String_visited

Inherited Members

Methods inherited from class AST.ASTNode

addChild

collect_contributors_State_altReachable

collect_contributors_State_altSuccessors

collect_contributors_State_predecessors

collect_contributors_State_transitions

collect_contributors_StateMachine_errors

collect_contributors_StateMachine_numberOfTransitionsColl

contributeTo_State_State_altReachable

contributeTo_State_State_altSuccessors

contributeTo_State_State_predecessors

contributeTo_State_State_transitions

contributeTo_StateMachine_StateMachine_errors

contributeTo_StateMachine_StateMachine_numberOfTransitionsColl

copy

Define_Set_Transition__transitionsOf

Define_State_lookup

Define_State_lookupForward

Define_StateMachine_theMachine

getNumChildNoTransform

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck