org.overturetool.vdmj.values
Class NameValuePair

java.lang.Object
  org.overturetool.vdmj.values.NameValuePair

public class NameValuePair
extends java.lang.Object

A class to hold a name and a runtime value pair.

Field Summary

LexNameToken	name
Value	value

Constructor Summary

NameValuePair(LexNameToken name, Value value)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final LexNameToken name

value

public final Value value

Constructor Detail

NameValuePair

public NameValuePair(LexNameToken name,
                     Value value)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object