escjava.ast
Class AssignCmd

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

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

GetsCmd, RestoreFromCmd, SubGetsCmd, SubSubGetsCmd

public abstract class AssignCmd

extends GuardedCmd

Field Summary

Expr	rhs
VariableAccess	v

Fields inherited from class javafe.ast.ASTNode

bogusField, dotCounter, dotId

Constructor Summary

protected

AssignCmd(VariableAccess v, Expr rhs)

Method Summary

void	check()
int	getEndLoc()
int	getStartLoc()

Methods inherited from class escjava.ast.GuardedCmd

accept, accept, childAt, childCount, getTag, toString

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

v

public VariableAccess v

rhs

public Expr rhs

Constructor Detail

AssignCmd

protected AssignCmd(VariableAccess v,
                    Expr rhs)

Method Detail

getStartLoc

public int getStartLoc()

Specified by:

getStartLoc in class ASTNode

getEndLoc

public int getEndLoc()

Overrides:

getEndLoc in class ASTNode

check

public void check()

Overrides:

check in class GuardedCmd