zeus.generator.code
Class FacilitatorInfo
java.lang.Object
zeus.generator.code.GenerationInfo
zeus.generator.code.FacilitatorInfo
- public class FacilitatorInfo
- extends GenerationInfo
used to generate the script that runs the facilitator
Change log
----------
26/06/01 removed java from command line
| Fields inherited from class zeus.generator.code.GenerationInfo |
AGENT, COMMAND, DBPROXY, FACILITATOR, host, id, ID, IdCounter, LOCALHOST, name, NAME, NAMESERVER, TASK, TYPE, VISUALISER |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
count
protected static int count
DEFAULT_PERIOD
static final java.lang.String DEFAULT_PERIOD
has_gui
public boolean has_gui
zeus_external
public java.lang.String zeus_external
period
public java.lang.String period
dns_file
public java.lang.String dns_file
ontology_file
public java.lang.String ontology_file
FacilitatorInfo
public FacilitatorInfo(java.lang.String file)
FacilitatorInfo
public FacilitatorInfo(java.lang.String name,
java.lang.String file)
summarize
public java.lang.String[] summarize()
- Specified by:
summarize in class GenerationInfo
isValid
public java.lang.String isValid()
- Specified by:
isValid in class GenerationInfo
toString
public java.lang.String toString()
pprint
public java.lang.String pprint(int sp)
- Specified by:
pprint in class GenerationInfo
Copyright © 2000-2003 BT Exact Technologies. All Rights Reserved.