org.jmlspecs.jml4.esc.gc.lang
Class CfgVarDecl

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.CfgStatement
      org.jmlspecs.jml4.esc.gc.lang.CfgVarDecl

public class CfgVarDecl
extends CfgStatement

Field Summary

static CfgVarDecl[]	EMPTY
java.lang.String	name
int	pos
TypeBinding	type

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

sourceStart

Constructor Summary

CfgVarDecl(java.lang.String name, int pos, TypeBinding type, int sourceStart)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

unfold, unfold

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final CfgVarDecl[] EMPTY

name

public final java.lang.String name

pos

public final int pos

type

public final TypeBinding type

Constructor Detail

CfgVarDecl

public CfgVarDecl(java.lang.String name,
                  int pos,
                  TypeBinding type,
                  int sourceStart)

Method Detail

accept

public VC accept(WlpVisitor visitor,
                 VC N)

Specified by:

accept in class CfgStatement

toString

public java.lang.String toString()

Specified by:

toString in class CfgStatement