public class MissionPlayer extends Player implements ToXML
Modifier | Constructor and Description |
---|---|
protected |
MissionPlayer(Mission mission,
OEAgent ag,
SchemeInstance sch) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document) |
Mission |
getMission() |
SchemeInstance |
getScheme() |
static java.lang.String |
getXMLTag() |
int |
hashCode() |
java.lang.String |
toString() |
protected MissionPlayer(Mission mission, OEAgent ag, SchemeInstance sch) throws MoiseConsistencyException
MoiseConsistencyException
public Mission getMission()
public SchemeInstance getScheme()
public static java.lang.String getXMLTag()
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)
public java.lang.String toString()
toString
in class java.lang.Object