Package | Description |
---|---|
alice.tucson.introspection.tools |
Constructor and Description |
---|
SpecWorker(java.lang.String op,
EnhancedACC c,
TucsonTupleCentreId ttcid,
EditSpec editSpec,
alice.util.jedit.JEditTextArea input) |