AST
node type Transition

General Info

Production

Transition : Declaration ::= <Label:String> <SourceLabel:String> <TargetLabel:String>;

Type Hierarchy:

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

All Implemented Interfaces:

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

Description

Source

Declared in spec/StateMachine.ast at line 9

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

PrettyPrint

NameAnalysis

Exercises

Constructors

public Transition()

public Transition(java.lang.String p0,
                  java.lang.String p1,
                  java.lang.String p2)

public Transition(beaver.Symbol p0,
                  beaver.Symbol p1,
                  beaver.Symbol p2)

Attributes

syn Transition transitionOf(State s)

Overrides:transitionOf in class Declaration

Source

Declared in spec/Exercises.jrag at line 39

Aspect

Exercises

syn State source()

Source

Declared in spec/NameAnalysis.jrag at line 6

Aspect

NameAnalysis

syn State target()

Source

Declared in spec/NameAnalysis.jrag at line 7

Aspect

NameAnalysis

Methods

public Transition clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Declaration

Throws:

java.lang.CloneNotSupportedException

public Transition copy()

Overrides:copy in class ASTNode<ASTNode>

public Transition 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 18

Aspect

PrettyPrint

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 void setSourceLabel(java.lang.String value)

Replaces the lexeme SourceLabel.

Parameters:

value - The new value for the lexeme SourceLabel.

public void setSourceLabel(beaver.Symbol symbol)

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

Parameters:

symbol - Symbol containing the new value for the lexeme SourceLabel

public java.lang.String getSourceLabel()

Retrieves the value for the lexeme SourceLabel.

Returns:

The value for the lexeme SourceLabel.

public void setTargetLabel(java.lang.String value)

Replaces the lexeme TargetLabel.

Parameters:

value - The new value for the lexeme TargetLabel.

public void setTargetLabel(beaver.Symbol symbol)

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

Parameters:

symbol - Symbol containing the new value for the lexeme TargetLabel

public java.lang.String getTargetLabel()

Retrieves the value for the lexeme TargetLabel.

Returns:

The value for the lexeme TargetLabel.

protected void collect_contributors_State_altSuccessors()

protected void collect_contributors_StateMachine_numberOfTransitionsColl()

protected void collect_contributors_StateMachine_errors()

protected void collect_contributors_State_transitions()

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

protected void contributeTo_StateMachine_StateMachine_numberOfTransitionsColl(Counter collection)

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

protected void contributeTo_State_State_transitions(java.util.Set<Transition> collection)

Fields

protected java.lang.String tokenString_Label

public int Labelstart

public int Labelend

protected java.lang.String tokenString_SourceLabel

public int SourceLabelstart

public int SourceLabelend

protected java.lang.String tokenString_TargetLabel

public int TargetLabelstart

public int TargetLabelend

protected java.util.Set transitionOf_State_visited

protected boolean source_visited

protected boolean target_visited

Inherited Members

Attributes inherited from AST.Declaration

localLookup

lookup

lookupForward

theMachine

Methods inherited from class AST.Declaration

printInfoAboutCycles

printReachable

Methods inherited from class AST.ASTNode

addChild

collect_contributors_State_altReachable

collect_contributors_State_predecessors

contributeTo_State_State_altReachable

contributeTo_State_State_predecessors

Define_Set_Transition__transitionsOf

Define_State_lookup

Define_State_lookupForward

Define_StateMachine_theMachine

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

localLookup_String_visited

lookup_String_visited

lookupForward_String_visited

theMachine_visited

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