State

AST
node type State

General Info

Production

State : Declaration ::= <Label:String>;

Type Hierarchy:

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

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

Description

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

Constructors

public State()

public State(java.lang.String p0)

public State(beaver.Symbol p0)

Attributes

syn boolean alreadyDeclared()

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

syn boolean multiplyDeclared()

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

syn boolean hasLaterNamesake()

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

syn java.util.Set<Transition> altTransitions()

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

syn java.util.Set<State> successors()

Source: Declared in spec/Graph.jrag at line 13
Aspect: Graph

syn State localLookup(java.lang.String label)

Overrides:localLookup in class Declaration

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

syn java.util.Set<State> reachable()

Source: Declared in spec/Reachability.jrag at line 9
Aspect: Reachability

inh java.util.Set<Transition> transitionsOf(State s)

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

coll java.util.Set<State> altSuccessors()

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

coll java.util.Set<State> predecessors()

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

coll java.util.Set<State> altReachable()

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

coll java.util.Set<Transition> transitions()

Source: Declared in spec/Graph.jrag at line 6
Aspect: Graph

Methods

public State clone()
            throws java.lang.CloneNotSupportedException

Overrides:clone in class Declaration

Throws:: java.lang.CloneNotSupportedException

public State copy()

Overrides:copy in class ASTNode<ASTNode>

public State 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()

Overrides:pp in class Declaration

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

public void printInfoAboutCycles()

Overrides:printInfoAboutCycles in class Declaration

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

public void printReachable()

Overrides:printReachable in class Declaration

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

public java.lang.String listOfReachableStateLabels()

Source: Declared in spec/PrintReachable.jrag at line 15
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 Declaration

protected int numChildren()

Overrides:numChildren in class Declaration

public void flushCache()

Overrides:flushCache in class Declaration

public void flushCollectionCache()

Overrides:flushCollectionCache in class Declaration

public void setLabel(java.lang.String value)

Replaces the lexeme Label.

Parameters:: value - The new value for the lexeme Label.

public void setLabel(beaver.Symbol symbol)

JastAdd-internal setter for lexeme Label using the Beaver parser.

Parameters:: symbol - Symbol containing the new value for the lexeme Label

public java.lang.String getLabel()

Retrieves the value for the lexeme Label.

Returns:: The value for the lexeme Label.

public java.util.Set State_altSuccessors_contributors()

Returns:: the contributor set for altSuccessors

public java.util.Set State_predecessors_contributors()

Returns:: the contributor set for predecessors

public java.util.Set State_altReachable_contributors()

Returns:: the contributor set for altReachable

public java.util.Set State_transitions_contributors()

Returns:: the contributor set for transitions

protected void collect_contributors_State_predecessors()

protected void collect_contributors_StateMachine_errors()

protected void collect_contributors_State_altReachable()

protected void contributeTo_State_State_predecessors(java.util.Set<State> collection)

protected void contributeTo_StateMachine_StateMachine_errors(java.util.Set<java.lang.String> collection)

protected void contributeTo_State_State_altReachable(java.util.Set<State> collection)

Fields

protected java.lang.String tokenString_Label

public int Labelstart

public int Labelend

protected boolean alreadyDeclared_visited

protected boolean multiplyDeclared_visited

protected boolean hasLaterNamesake_visited

protected boolean altTransitions_visited

protected boolean successors_visited

protected java.util.Set localLookup_String_visited

protected int reachable_visited

protected boolean reachable_computed

protected boolean reachable_initialized

protected java.util.Set<State> reachable_value

protected java.util.Set transitionsOf_State_visited

protected boolean State_altSuccessors_visited

protected boolean State_altSuccessors_computed

protected java.util.Set<State> State_altSuccessors_value

protected boolean State_predecessors_visited

protected boolean State_predecessors_computed

protected java.util.Set<State> State_predecessors_value

protected int State_altReachable_visited

protected boolean State_altReachable_computed

protected boolean State_altReachable_initialized

protected java.util.Set<State> State_altReachable_value

protected boolean State_transitions_visited

protected boolean State_transitions_computed

protected java.util.Set<Transition> State_transitions_value

Inherited Members

Attributes inherited from AST.Declaration

Methods inherited from class AST.ASTNode

addChild

collect_contributors_State_altSuccessors

collect_contributors_State_transitions

collect_contributors_StateMachine_numberOfTransitionsColl

contributeTo_State_State_altSuccessors

contributeTo_State_State_transitions

contributeTo_StateMachine_StateMachine_numberOfTransitionsColl

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.Declaration

lookup_String_visited

lookupForward_String_visited

theMachine_visited

transitionOf_State_visited

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck