org.jmlspecs.jml4.esc.gc.lang.sugared
Class SugaredVarDecl

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredStatement
      org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredVarDecl

public class SugaredVarDecl
extends SugaredStatement

Field Summary

java.lang.String	name
int	pos
TypeBinding	type

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredStatement

sourceStart

Constructor Summary

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

Method Summary

SimpleStatement	accept(DesugaringVisitor visitor)
SugaredStatement	accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	accept(SimplifyingVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final java.lang.String name

pos

public final int pos

type

public final TypeBinding type

Constructor Detail

SugaredVarDecl

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

Method Detail

accept

public SimpleStatement accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredStatement

accept

public SugaredStatement accept(SimplifyingVisitor visitor)

Specified by:

accept in class SugaredStatement

accept

public SugaredStatement accept(DesugarLoopVisitor visitor,
                               SugaredStatement rest)

Specified by:

accept in class SugaredStatement

toString

public java.lang.String toString()

Specified by:

toString in class SugaredStatement