Class Context
java.lang.Object
org.btrplace.safeplace.testing.verification.spec.Context
public class Context extends Object
- Author:
- Fabien Hermenier
-
Constructor Summary
-
Method Summary
Modifier and Type Method Description void
add(Domain d)
Domain
domain(String lbl)
boolean
equals(Object o)
SpecMapping
getMapping()
Model
getModel()
ReconfigurationPlan
getPlan()
Context
getRootContext()
Object
getValue(String label)
int
hashCode()
void
restoreStack()
void
saveStack()
void
setRootContext(Context root)
void
setValue(String label, Object o)
String
toString()
-
Constructor Details
-
Method Details
-
getPlan
-
setRootContext
-
getRootContext
-
getModel
-
getMapping
-
setValue
-
getValue
-
add
-
domain
-
toString
-
saveStack
public void saveStack() -
restoreStack
public void restoreStack() -
equals
-
hashCode
public int hashCode()
-