AST
node type StateMachine

General Info

Production

StateMachine : ASTNode ::= Declaration*;

Type Hierarchy:

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

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source

Declared in spec/StateMachine.ast at line 6

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

PrintInfoAboutCycles

PrettyPrint

PrintReachable

Exercises

Constructors

public StateMachine()

public StateMachine(List<Declaration> p0)

Attributes

syn int numberOfTransitions()

Source

Declared in spec/Exercises.jrag at line 64

Aspect

Exercises

coll Counter numberOfTransitionsColl()

Source

Declared in spec/Exercises.jrag at line 66

Aspect

Exercises

coll java.util.Set<java.lang.String> errors()

Source

Declared in spec/Exercises.jrag at line 83

Aspect

Exercises

Methods

public StateMachine clone()
                   throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:

java.lang.CloneNotSupportedException

public StateMachine copy()

Overrides:copy in class ASTNode<ASTNode>

public StateMachine fullCopy()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:fullCopy in class ASTNode<ASTNode>

Returns:

dangling copy of the subtree at this node

public void pp()

Source

Declared in spec/PrettyPrint.jrag at line 6

Aspect

PrettyPrint

public void printInfoAboutCycles()

Source

Declared in spec/PrintInfoAboutCycles.jrag at line 4

Aspect

PrintInfoAboutCycles

public void printReachable()

Source

Declared in spec/PrintReachable.jrag at line 4

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>

public void setDeclarationList(List<Declaration> list)

Replaces the Declaration list.

Parameters:

list - The new list node to be used as the Declaration list.

public int getNumDeclaration()

Retrieves the number of children in the Declaration list.

Returns:

Number of children in the Declaration list.

public int getNumDeclarationNoTransform()

Retrieves the number of children in the Declaration list. Calling this method will not trigger rewrites.

Returns:

Number of children in the Declaration list.

public Declaration getDeclaration(int i)

Retrieves the element at index i in the Declaration list.

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Declaration list.

public boolean hasDeclaration()

Check whether the Declaration list has any children.

Returns:

true if it has at least one child, false otherwise.

public void addDeclaration(Declaration node)

Append an element to the Declaration list.

Parameters:

node - The element to append to the Declaration list.

public void addDeclarationNoTransform(Declaration node)

public void setDeclaration(Declaration node,
                           int i)

Replaces the Declaration list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

public List<Declaration> getDeclarationList()

Retrieves the Declaration list.

Returns:

The node representing the Declaration list.

public List<Declaration> getDeclarationListNoTransform()

Retrieves the Declaration list.

This method does not invoke AST transformations.

Returns:

The node representing the Declaration list.

public List<Declaration> getDeclarations()

Retrieves the Declaration list.

Returns:

The node representing the Declaration list.

public List<Declaration> getDeclarationsNoTransform()

Retrieves the Declaration list.

This method does not invoke AST transformations.

Returns:

The node representing the Declaration list.

protected void collect_contributors_StateMachine_numberOfTransitionsColl()

protected void collect_contributors_StateMachine_errors()

protected void collect_contributors_State_altSuccessors()

protected void collect_contributors_State_predecessors()

protected void collect_contributors_State_altReachable()

protected void collect_contributors_State_transitions()

public State Define_State_lookupForward(ASTNode caller,
                                        ASTNode child,
                                        java.lang.String label)

Overrides:Define_State_lookupForward in class ASTNode<ASTNode>

Source

Declared in spec/Exercises.jrag at line 17

public java.util.Set<Transition> Define_Set_Transition__transitionsOf(ASTNode caller,
                                                                      ASTNode child,
                                                                      State s)

Overrides:Define_Set_Transition__transitionsOf in class ASTNode<ASTNode>

Source

Declared in spec/Exercises.jrag at line 30

public StateMachine Define_StateMachine_theMachine(ASTNode caller,
                                                   ASTNode child)

Overrides:Define_StateMachine_theMachine in class ASTNode<ASTNode>

Source

Declared in spec/Exercises.jrag at line 73

public State Define_State_lookup(ASTNode caller,
                                 ASTNode child,
                                 java.lang.String label)

Overrides:Define_State_lookup in class ASTNode<ASTNode>

Source

Declared in spec/NameAnalysis.jrag at line 10

public java.util.Set StateMachine_numberOfTransitionsColl_contributors()

Returns:

the contributor set for numberOfTransitionsColl

public java.util.Set StateMachine_errors_contributors()

Returns:

the contributor set for errors

Fields

public boolean collecting_contributors_State_altReachable

protected boolean numberOfTransitions_visited

protected boolean StateMachine_numberOfTransitionsColl_visited

protected boolean StateMachine_numberOfTransitionsColl_computed

protected Counter StateMachine_numberOfTransitionsColl_value

protected boolean StateMachine_errors_visited

protected boolean StateMachine_errors_computed

protected java.util.Set<java.lang.String> StateMachine_errors_value

Inherited Members

Methods inherited from class AST.ASTNode

addChild

contributeTo_State_State_altReachable

contributeTo_State_State_altSuccessors

contributeTo_State_State_predecessors

contributeTo_State_State_transitions

contributeTo_StateMachine_StateMachine_errors

contributeTo_StateMachine_StateMachine_numberOfTransitionsColl

getChild

getChildNoTransform

getEndColumn

getEndLine

getIndexOfChild

getNumChild

getNumChildNoTransform

getParent

getStartColumn

getStartLine

insertChild

iterator

removeChild

setChild

setEnd

setParent

setStart

state

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

wait

wait

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

numChildren

parent

startColumn

startLine

state

Fields inherited from beaver.Symbol

end

id

start

value