Package org.btrplace.safeplace.spec.term

Class Constant

java.lang.Object

org.btrplace.safeplace.spec.term.Constant

All Implemented Interfaces:

Term

public class Constant
extends Object
implements Term

Author:

Fabien Hermenier

Constructor Summary

Constructors

Constructor	Description
Constant(Object o, Type t)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o1)
Object	eval(Context mo, Object... terms)
static Constant	fromJSON(net.minidev.json.JSONObject o)
int	hashCode()
net.minidev.json.JSONObject	toJSON()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Constant

public Constant(Object o, Type t)

Method Details

type

public Type type()

Specified by:

type in interface Term

toString

public String toString()

Overrides:

toString in class Object

toJSON

public net.minidev.json.JSONObject toJSON()

fromJSON

public static Constant fromJSON(net.minidev.json.JSONObject o)

equals

public boolean equals(Object o1)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

eval

public Object eval(Context mo, Object... terms)

Specified by:

eval in interface Term