|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcode.lang.SystemModule.normalizeInstruction
private static class SystemModule.normalizeInstruction
| Nested Class Summary | |
|---|---|
private class |
SystemModule.normalizeInstruction.FoundFailure
|
private class |
SystemModule.normalizeInstruction.FoundOperation
|
| Constructor Summary | |
|---|---|
private |
SystemModule.normalizeInstruction()
|
| Method Summary | |
|---|---|
void |
execute(Computation computation)
This method executes whatever is intended by the Instruction. |
private void |
findOperationRooted(Term term)
|
java.lang.String |
printAsTxtLoadable()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
private SystemModule.normalizeInstruction()
| Method Detail |
|---|
public void execute(Computation computation)
Instruction
execute in interface Instructioncomputation - The instruction is executed
in the context of this Computation.
private void findOperationRooted(Term term)
throws SystemModule.normalizeInstruction.FoundOperation,
SystemModule.normalizeInstruction.FoundFailure
SystemModule.normalizeInstruction.FoundOperation
SystemModule.normalizeInstruction.FoundFailurepublic java.lang.String printAsTxtLoadable()
printAsTxtLoadable in interface Instruction
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||