JML

org.jmlspecs.jmlrac
Class PreValueVars.Entry

java.lang.Object
  extended byorg.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
Constructor Detail

PreValueVars.Entry

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

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

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.