code.lang
Class IntModule.PrimIntCode

java.lang.Object
  code.lang.IntModule.PrimIntCode

All Implemented Interfaces:

Instruction

Enclosing class:

IntModule

private static class IntModule.PrimIntCode
extends java.lang.Object
implements Instruction

Field Summary

private static int	ADD
private static int	DIV
private static int	falseId
private static int	GEQ
private static int	GT
private static int	LEQ
private static int	LT
private static int	MOD
private static int	MUL
private static java.lang.String[]	name
private int	op
private static java.lang.String	preludeName
private static int	SUB
private static Term	termFalse
private static Term	termTrue
private static int	trueId

Constructor Summary

private

IntModule.PrimIntCode(int op)

Method Summary

void	execute(Computation computation) This method executes whatever is intended by the Instruction.
java.lang.String	printAsTxtLoadable()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ADD

private static final int ADD

See Also:

Constant Field Values

SUB

private static final int SUB

See Also:

Constant Field Values

MUL

private static final int MUL

See Also:

Constant Field Values

DIV

private static final int DIV

See Also:

Constant Field Values

MOD

private static final int MOD

See Also:

Constant Field Values

LT

private static final int LT

See Also:

Constant Field Values

LEQ

private static final int LEQ

See Also:

Constant Field Values

GT

private static final int GT

See Also:

Constant Field Values

GEQ

private static final int GEQ

See Also:

Constant Field Values

op

private final int op

preludeName

private static final java.lang.String preludeName

See Also:

Constant Field Values

trueId

private static final int trueId

falseId

private static final int falseId

termTrue

private static final Term termTrue

termFalse

private static final Term termFalse

name

private static final java.lang.String[] name

Constructor Detail

IntModule.PrimIntCode

private IntModule.PrimIntCode(int op)

Method Detail

execute

public void execute(Computation computation)

Description copied from interface: Instruction

This method executes whatever is intended by the Instruction.

Specified by:

execute in interface Instruction

Parameters:

computation - The instruction is executed in the context of this Computation.

printAsTxtLoadable

public java.lang.String printAsTxtLoadable()

Specified by:

printAsTxtLoadable in interface Instruction