escjava.ast
Class DynInstCmd

java.lang.Object
  javafe.ast.ASTNode
      escjava.ast.GuardedCmd
          escjava.ast.DynInstCmd

All Implemented Interfaces:

java.lang.Cloneable

public class DynInstCmd

extends GuardedCmd

Field Summary

GuardedCmd	g
java.lang.String	s

Fields inherited from class javafe.ast.ASTNode

bogusField, dotCounter, dotId

Constructor Summary

protected

DynInstCmd(java.lang.String s, GuardedCmd g)

Method Summary

void	accept(Visitor v) Accept a visit from v.
java.lang.Object	accept(VisitorArgResult v, java.lang.Object o)
void	check()
java.lang.Object	childAt(int index) Return the first-but-ith child of a node.
int	childCount() Return the number of children a node has.
int	getEndLoc()
int	getStartLoc()
int	getTag() Return the tag of a node.
static DynInstCmd	make(java.lang.String s, GuardedCmd g)
java.lang.String	toString() Return a string representation of this.

Methods inherited from class javafe.ast.ASTNode

clone, clone, getDecorations, isInternal, setDecorations

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

s

public java.lang.String s

g

public GuardedCmd g

Constructor Detail

DynInstCmd

protected DynInstCmd(java.lang.String s,
                     GuardedCmd g)

Method Detail

getStartLoc

public int getStartLoc()

Specified by:

getStartLoc in class ASTNode

getEndLoc

public int getEndLoc()

Overrides:

getEndLoc in class ASTNode

childCount

public final int childCount()

Description copied from class: GuardedCmd

Return the number of children a node has.

Specified by:

childCount in class GuardedCmd

childAt

public final java.lang.Object childAt(int index)

Description copied from class: GuardedCmd

Return the first-but-ith child of a node.

Specified by:

childAt in class GuardedCmd

toString

public final java.lang.String toString()

Description copied from class: GuardedCmd

Return a string representation of this. Meant for debugging use only, not for presentation.

Specified by:

toString in class GuardedCmd

getTag

public final int getTag()

Description copied from class: GuardedCmd

Return the tag of a node.

Specified by:

getTag in class GuardedCmd

accept

public final void accept(Visitor v)

Description copied from class: GuardedCmd

Accept a visit from v. This method simply calls the method of v corresponding to the allocated type of this, passing this as the argument. See the design patterns book.

Specified by:

accept in class GuardedCmd

accept

public final java.lang.Object accept(VisitorArgResult v,
                                     java.lang.Object o)

Specified by:

accept in class GuardedCmd

check

public void check()

Overrides:

check in class GuardedCmd

make

public static DynInstCmd make(java.lang.String s,
                              GuardedCmd g)