|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.InternalElement
JSHOP2.InternalMethod
public class InternalMethod
Each method at compile time is represented as an instance of this class.
Field Summary | |
---|---|
private static int |
classCnt
The number of objects already instantiated from this class. |
private java.util.Vector<java.lang.String> |
labels
A Vector of String s each of which represents
the label of a branch of this method. |
private java.util.Vector<LogicalPrecondition> |
pres
A Vector of logical preconditions each of which represents
the precondition of a branch of this method. |
private java.util.Vector<TaskList> |
subs
A Vector of task lists each of which represents a possible
way to decompose the task associated with this method if the
corresponding precondition is satisfied in the current state of the
world. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
InternalMethod(Predicate head,
java.util.Vector<java.lang.String> labelsIn,
java.util.Vector<LogicalPrecondition> presIn,
java.util.Vector<TaskList> subsIn)
To initialize an InternalMethod object. |
Method Summary | |
---|---|
java.lang.String |
toCode()
This function produces the Java code needed to implement this method. |
Methods inherited from class JSHOP2.InternalElement |
---|
getCnt, getHead |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static int classCnt
private java.util.Vector<java.lang.String> labels
Vector
of String
s each of which represents
the label of a branch of this method.
private java.util.Vector<LogicalPrecondition> pres
Vector
of logical preconditions each of which represents
the precondition of a branch of this method. Each branch is an
alternative on how to decompose the task associated with this method.
private java.util.Vector<TaskList> subs
Vector
of task lists each of which represents a possible
way to decompose the task associated with this method if the
corresponding precondition is satisfied in the current state of the
world.
Constructor Detail |
---|
public InternalMethod(Predicate head, java.util.Vector<java.lang.String> labelsIn, java.util.Vector<LogicalPrecondition> presIn, java.util.Vector<TaskList> subsIn)
InternalMethod
object.
head
- head of the method (i.e., the compound task which can be
decomposed by using this method).labelsIn
- a Vector
of String
labels.presIn
- a Vector
of logical preconditions.subsIn
- a Vector
of task lists.Method Detail |
---|
public java.lang.String toCode()
toCode
in class CompileTimeObject
String
.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |