org.jmlspecs.jmlrac
Class PreValueVars.Entry

java.lang.Object
  org.jmlspecs.jmlrac.PreValueVars.Entry

Enclosing class:

PreValueVars

static class PreValueVars.Entry

extends Object

A data structure class to hold information about a field.

Field Summary
(package private)  boolean	isStatic
(package private)  String	name
(package private)  String	type
(package private)  String	value

 

Constructor Summary
(package private)	PreValueVars.Entry(boolean isStatic, String type, String name, String value)

 

Method Summary
String	name()           Returns the name of this variable declaration.
String	toString()           Returns a sting representation of this entry.
String	type()           Returns the type of this variable declaration.

 

Methods inherited from class java.lang.Object

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

 

Field Detail

isStatic

boolean isStatic

type

String type

name

String name

value

String value

PreValueVars.Entry

PreValueVars.Entry(boolean isStatic,
                   String type,
                   String name,
                   String value)

type

public String type()

Returns the type of this variable declaration.

name

public String name()

Returns the name of this variable declaration.

toString

public String toString()

Returns a sting representation of this entry. The returned string has the form: [static] T x = v;

Overrides:

toString in class Object