org.jmlspecs.jml4.esc.gc.lang.simple
Class SimpleVarDecl

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement
      org.jmlspecs.jml4.esc.gc.lang.simple.SimpleVarDecl

public class SimpleVarDecl
extends SimpleStatement

Field Summary

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

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement

sourceStart

Constructor Summary

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

Method Summary

CfgStatement	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final SimpleVarDecl[] EMPTY

name

public final java.lang.String name

pos

public final int pos

type

public final TypeBinding type

Constructor Detail

SimpleVarDecl

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

Method Detail

accept

public CfgStatement accept(PassifyVisitor visitor,
                           IncarnationMap incarnationMap)

Specified by:

accept in class SimpleStatement

toString

public java.lang.String toString()

Specified by:

toString in class SimpleStatement