A B C D E F G H I L M N O P R S T U V W X

A

accept(TypeVisitor<R, P, E>, P) - Method in class edu.polytechnique.mjava.ast.TType

accept(TypeVisitor<R, P, E>, P) - Method in class edu.polytechnique.mjava.ast.type.TBase

accept(TypeVisitor<R, P, E>, P) - Method in class edu.polytechnique.mjava.ast.type.TNamed

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.interfaces.AsmInstruction

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.ADD

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.ALLOC

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.AND

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.CREAD

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.CWRITE

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.DIV

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.EQ

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.FETCH

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.GSB

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.GTO

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.GTZ

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.LT

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.MULT

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.NOT

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.OR

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.POP

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.PRT

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.PRX

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.PUSH

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.PXR

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.READ

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.RET

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.RFR

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.STOP

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.SUB

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.WFR

accept(AsmVisitor<P, R>, P) - Method in class edu.polytechnique.xvm.asm.opcodes.WRITE

ADD - Class in edu.polytechnique.xvm.asm.opcodes

Integer addition

ADD() - Constructor for class edu.polytechnique.xvm.asm.opcodes.ADD

ALLOC - Class in edu.polytechnique.xvm.asm.opcodes

Allocate a block on the heap

ALLOC() - Constructor for class edu.polytechnique.xvm.asm.opcodes.ALLOC

AND - Class in edu.polytechnique.xvm.asm.opcodes

Boolean and (aka logical and)

AND() - Constructor for class edu.polytechnique.xvm.asm.opcodes.AND

asBase() - Method in class edu.polytechnique.mjava.ast.TType

asInt() - Method in class edu.polytechnique.xvm.exec.Word

AsmInstruction - Class in edu.polytechnique.xvm.asm.interfaces

AsmInstruction() - Constructor for class edu.polytechnique.xvm.asm.interfaces.AsmInstruction

AsmVisitor<P,R> - Interface in edu.polytechnique.xvm.asm.interfaces

asNamed() - Method in class edu.polytechnique.mjava.ast.TType

asPtr() - Method in class edu.polytechnique.xvm.exec.Word

B

BinOp - Enum in edu.polytechnique.mjava.ast

BOOL - Static variable in class edu.polytechnique.mjava.ast.type.TBase

C

contents - Variable in class edu.polytechnique.xvm.exec.Word.Ptr

The contents of the block pointed to by this pointer.

CREAD - Class in edu.polytechnique.xvm.asm.opcodes

Read from the heap (computed read)

CREAD() - Constructor for class edu.polytechnique.xvm.asm.opcodes.CREAD

CWRITE - Class in edu.polytechnique.xvm.asm.opcodes

Write to the heap (computed write)

CWRITE() - Constructor for class edu.polytechnique.xvm.asm.opcodes.CWRITE

D

DIV - Class in edu.polytechnique.xvm.asm.opcodes

Integer division

DIV() - Constructor for class edu.polytechnique.xvm.asm.opcodes.DIV

divisionByZero() - Static method in exception edu.polytechnique.xvm.exec.XVMException

E

ebinop(BinOp, Expr, Expr) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

ebinop(BinOp, Expr, Expr) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

ebool(boolean) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

ebool(boolean) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

ebool(E) - Static method in class edu.polytechnique.mjava.ast.TypedExpr

ecall(String, Vector<Expr>) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

ecall(String, Vector<Expr>) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

edu.polytechnique.mjava.ast - package edu.polytechnique.mjava.ast

edu.polytechnique.mjava.ast.factory - package edu.polytechnique.mjava.ast.factory

edu.polytechnique.mjava.ast.type - package edu.polytechnique.mjava.ast.type

edu.polytechnique.mjava.ast.visitor - package edu.polytechnique.mjava.ast.visitor

edu.polytechnique.xvm.asm - package edu.polytechnique.xvm.asm

edu.polytechnique.xvm.asm.interfaces - package edu.polytechnique.xvm.asm.interfaces

edu.polytechnique.xvm.asm.opcodes - package edu.polytechnique.xvm.asm.opcodes

edu.polytechnique.xvm.exec - package edu.polytechnique.xvm.exec

eget(E, String, String) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

eget(E, String, String) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

eint(int) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

eint(int) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

eint(E) - Static method in class edu.polytechnique.mjava.ast.TypedExpr

enew(String) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

enew(String) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

EQ - Class in edu.polytechnique.xvm.asm.opcodes

Integer equality

EQ() - Constructor for class edu.polytechnique.xvm.asm.opcodes.EQ

equals(Word) - Method in class edu.polytechnique.xvm.exec.Word

equals(Word) - Method in class edu.polytechnique.xvm.exec.Word.Int

equals(Word) - Method in class edu.polytechnique.xvm.exec.Word.Ptr

euniop(UniOp, Expr) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

euniop(UniOp, Expr) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

evar(String) - Method in interface edu.polytechnique.mjava.ast.factory.ExprFactory

evar(String) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

execute(State, CodeGen, int) - Static method in class edu.polytechnique.xvm.exec.InstructionExecutor

Run the XVM interpreter on a given code generator implementation.

execute(CodeGen, int) - Static method in class edu.polytechnique.xvm.exec.InstructionExecutor

Same as execute(State, CodeGen, int), except it creates the initial state and returns it at the end.

Expr - Interface in edu.polytechnique.mjava.ast

expr - Variable in class edu.polytechnique.mjava.ast.factory.Factory

ExprFactory<E extends Expr> - Interface in edu.polytechnique.mjava.ast.factory

F

Factory<E extends Expr,I extends Instruction> - Class in edu.polytechnique.mjava.ast.factory

Factory(ExprFactory<E>, InstrFactory<E, I>) - Constructor for class edu.polytechnique.mjava.ast.factory.Factory

Factory.NamedExprFactory<E extends Expr> - Class in edu.polytechnique.mjava.ast.factory

Factory.NamedInstrFactory<E extends Expr,I extends Instruction> - Class in edu.polytechnique.mjava.ast.factory

FETCH - Class in edu.polytechnique.xvm.asm.opcodes

Push a copy of an arbitrary stack entry onto the stack

FETCH(int) - Constructor for class edu.polytechnique.xvm.asm.opcodes.FETCH

findBestMethod(Iterable<T>, Class<?>[]) - Static method in class edu.polytechnique.mjava.ast.factory.ReflectionUtils

G

getAddress() - Method in class edu.polytechnique.xvm.asm.opcodes.GSB

getAddress() - Method in class edu.polytechnique.xvm.asm.opcodes.GTO

getAddress() - Method in class edu.polytechnique.xvm.asm.opcodes.GTZ

getArgs() - Method in class edu.polytechnique.mjava.ast.TProcDef

getBody() - Method in class edu.polytechnique.mjava.ast.TProcDef

getBtype() - Method in class edu.polytechnique.mjava.ast.type.TBase

getClazz() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

getEclazz() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

getExpr() - Method in class edu.polytechnique.mjava.ast.TypedExpr

getFields() - Method in class edu.polytechnique.mjava.ast.TTypeDef

getIclazz() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

getLocals() - Method in class edu.polytechnique.mjava.ast.TProcDef

getName() - Method in class edu.polytechnique.mjava.ast.TProcDef

getName() - Method in class edu.polytechnique.mjava.ast.TTypeDef

getName() - Method in class edu.polytechnique.mjava.ast.type.TNamed

getName() - Method in class edu.polytechnique.mjava.ast.VarDecl

getName() - Method in class edu.polytechnique.xvm.asm.interfaces.AsmInstruction

getOffset() - Method in class edu.polytechnique.xvm.asm.opcodes.FETCH

getOffset() - Method in class edu.polytechnique.xvm.asm.opcodes.RFR

getOffset() - Method in class edu.polytechnique.xvm.asm.opcodes.WFR

getParent() - Method in class edu.polytechnique.mjava.ast.TTypeDef

getPkg() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

getPkg() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

getRtype() - Method in class edu.polytechnique.mjava.ast.TProcDef

getStackEntry(int) - Method in class edu.polytechnique.xvm.exec.State

Get an entry from the stack.

getType() - Method in class edu.polytechnique.mjava.ast.TypedExpr

getType() - Method in class edu.polytechnique.mjava.ast.VarDecl

getValue() - Method in class edu.polytechnique.xvm.asm.opcodes.PUSH

GSB - Class in edu.polytechnique.xvm.asm.opcodes

Enter a subroutine

GSB() - Constructor for class edu.polytechnique.xvm.asm.opcodes.GSB

GSB(String) - Constructor for class edu.polytechnique.xvm.asm.opcodes.GSB

GTO - Class in edu.polytechnique.xvm.asm.opcodes

Set PC to a given position (go to)

GTO() - Constructor for class edu.polytechnique.xvm.asm.opcodes.GTO

GTO(String) - Constructor for class edu.polytechnique.xvm.asm.opcodes.GTO

GTZ - Class in edu.polytechnique.xvm.asm.opcodes

Pop the stack and, if zero, set PC to a given position

GTZ(String) - Constructor for class edu.polytechnique.xvm.asm.opcodes.GTZ

H

handle - Variable in class edu.polytechnique.xvm.exec.Word.Ptr

The handle is an index into the heap.

I

iassign(Optional<LValue<E>>, E) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iassign(Optional<LValue<E>>, E) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

iblock() - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iblock(Vector<I>) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iblock() - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

iblock(Vector<I>) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

iif(E, I, I) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iif(E, I, I) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

immToString(int) - Static method in class edu.polytechnique.xvm.asm.Printer

IncompatibleSignaturesException() - Constructor for exception edu.polytechnique.mjava.ast.factory.ReflectionUtils.IncompatibleSignaturesException

INSTANCE - Static variable in class edu.polytechnique.xvm.asm.Printer

instr - Variable in class edu.polytechnique.mjava.ast.factory.Factory

InstrFactory<E extends Expr,I extends Instruction> - Interface in edu.polytechnique.mjava.ast.factory

Instruction - Interface in edu.polytechnique.mjava.ast

InstructionExecutor - Class in edu.polytechnique.xvm.exec

An interpreter for XVM.

instructions - Variable in class edu.polytechnique.xvm.exec.InstructionExecutor

instructionToString(AsmInstruction) - Static method in class edu.polytechnique.xvm.asm.Printer

INT - Static variable in class edu.polytechnique.mjava.ast.type.TBase

Int(int) - Constructor for class edu.polytechnique.xvm.exec.Word.Int

internalError(String) - Static method in exception edu.polytechnique.xvm.exec.XVMException

internalError(Exception) - Static method in exception edu.polytechnique.xvm.exec.XVMException

intMismatch() - Static method in exception edu.polytechnique.xvm.exec.XVMException

invalidMemAccess() - Static method in exception edu.polytechnique.xvm.exec.XVMException

invalidPC() - Static method in exception edu.polytechnique.xvm.exec.XVMException

invalidStackAccess() - Static method in exception edu.polytechnique.xvm.exec.XVMException

iprint(E) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iprint(E) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

ireturn(Optional<E>) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

ireturn(Optional<E>) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

isBase() - Method in class edu.polytechnique.mjava.ast.TType

isNamed() - Method in class edu.polytechnique.mjava.ast.TType

iwhile(E, I) - Method in class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

iwhile(E, I) - Method in interface edu.polytechnique.mjava.ast.factory.InstrFactory

L

labels - Variable in class edu.polytechnique.xvm.exec.InstructionExecutor

LT - Class in edu.polytechnique.xvm.asm.opcodes

Integer strict less than

LT() - Constructor for class edu.polytechnique.xvm.asm.opcodes.LT

LValue<E extends Expr> - Class in edu.polytechnique.mjava.ast

LValue(TypedExpr<E>, String) - Constructor for class edu.polytechnique.mjava.ast.LValue

LValue(String) - Constructor for class edu.polytechnique.mjava.ast.LValue

LValue(Optional<TypedExpr<E>>, String) - Constructor for class edu.polytechnique.mjava.ast.LValue

M

main(String[]) - Static method in exception edu.polytechnique.xvm.exec.XVMException

MULT - Class in edu.polytechnique.xvm.asm.opcodes

Integer multiplication

MULT() - Constructor for class edu.polytechnique.xvm.asm.opcodes.MULT

N

name - Variable in class edu.polytechnique.mjava.ast.LValue

The variable/field name

NamedExprFactory(Class<E>, String) - Constructor for class edu.polytechnique.mjava.ast.factory.Factory.NamedExprFactory

NamedInstrFactory(Class<E>, Class<I>, String) - Constructor for class edu.polytechnique.mjava.ast.factory.Factory.NamedInstrFactory

NOT - Class in edu.polytechnique.xvm.asm.opcodes

Boolean not (aka logical not)

NOT() - Constructor for class edu.polytechnique.xvm.asm.opcodes.NOT

O

OCWIDTH - Static variable in class edu.polytechnique.xvm.asm.Printer

ofPackage(Class<E>, String, Class<I>, String) - Static method in class edu.polytechnique.mjava.ast.factory.Factory

OR - Class in edu.polytechnique.xvm.asm.opcodes

Boolean or (aka logical or)

OR() - Constructor for class edu.polytechnique.xvm.asm.opcodes.OR

output - Variable in class edu.polytechnique.xvm.exec.State

The full output of the machine.

Output(int, int) - Constructor for class edu.polytechnique.xvm.exec.State.Output

P

pointerMismatch() - Static method in exception edu.polytechnique.xvm.exec.XVMException

POP - Class in edu.polytechnique.xvm.asm.opcodes

Pop the stack

POP() - Constructor for class edu.polytechnique.xvm.asm.opcodes.POP

Printer - Class in edu.polytechnique.xvm.asm

Printer() - Constructor for class edu.polytechnique.xvm.asm.Printer

procs - Variable in class edu.polytechnique.mjava.ast.TProgram

list of defined procedures

programToString(List<AsmInstruction>, Map<String, Integer>) - Static method in class edu.polytechnique.xvm.asm.Printer

PRT - Class in edu.polytechnique.xvm.asm.opcodes

Pop the stack and output (print)

PRT() - Constructor for class edu.polytechnique.xvm.asm.opcodes.PRT

PRX - Class in edu.polytechnique.xvm.asm.opcodes

Push the value of R onto the stack

PRX() - Constructor for class edu.polytechnique.xvm.asm.opcodes.PRX

Ptr(int, Word...) - Constructor for class edu.polytechnique.xvm.exec.Word.Ptr

Ptr(int, List<Word>) - Constructor for class edu.polytechnique.xvm.exec.Word.Ptr

Ptr(int, int) - Constructor for class edu.polytechnique.xvm.exec.Word.Ptr

PUSH - Class in edu.polytechnique.xvm.asm.opcodes

Push an integer onto the stack

PUSH(int) - Constructor for class edu.polytechnique.xvm.asm.opcodes.PUSH

PXR - Class in edu.polytechnique.xvm.asm.opcodes

Pop the stack and set its value to R

PXR() - Constructor for class edu.polytechnique.xvm.asm.opcodes.PXR

R

READ - Class in edu.polytechnique.xvm.asm.opcodes

Read from static memory

READ() - Constructor for class edu.polytechnique.xvm.asm.opcodes.READ

reason - Variable in exception edu.polytechnique.xvm.exec.XVMException

records - Variable in class edu.polytechnique.mjava.ast.TProgram

list of defined records

ReflectionUtils - Class in edu.polytechnique.mjava.ast.factory

ReflectionUtils() - Constructor for class edu.polytechnique.mjava.ast.factory.ReflectionUtils

ReflectionUtils.IncompatibleSignaturesException - Exception in edu.polytechnique.mjava.ast.factory

regFP - Variable in class edu.polytechnique.xvm.exec.State

The frame pointer register (FP)

regPC - Variable in class edu.polytechnique.xvm.exec.State

The program counter register (PC)

regR - Variable in class edu.polytechnique.xvm.exec.State

The R register

regSP - Variable in class edu.polytechnique.xvm.exec.State

The stack pointer register (SP)

RET - Class in edu.polytechnique.xvm.asm.opcodes

Return from a subroutine

RET() - Constructor for class edu.polytechnique.xvm.asm.opcodes.RET

RFR - Class in edu.polytechnique.xvm.asm.opcodes

Push a copy of a stack entry relative to FP onto the stack

RFR(int) - Constructor for class edu.polytechnique.xvm.asm.opcodes.RFR

run(State, int) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

S

setOutputHandler(Consumer<Integer>) - Method in class edu.polytechnique.xvm.exec.State

Determine how to handle output.

signatureDistance(Class<?>[], Class<?>[]) - Static method in class edu.polytechnique.mjava.ast.factory.ReflectionUtils

stackOverflow() - Static method in exception edu.polytechnique.xvm.exec.XVMException

stackUnderflow() - Static method in exception edu.polytechnique.xvm.exec.XVMException

State - Class in edu.polytechnique.xvm.exec

A representation of the state of the XVM

State() - Constructor for class edu.polytechnique.xvm.exec.State

Create a "standard" fresh initial XVM state.

State.Output - Class in edu.polytechnique.xvm.exec

A representation of output from the interpreter

staticMemory - Variable in class edu.polytechnique.xvm.exec.State

The static memory

STOP - Class in edu.polytechnique.xvm.asm.opcodes

Stop execution

STOP() - Constructor for class edu.polytechnique.xvm.asm.opcodes.STOP

SUB - Class in edu.polytechnique.xvm.asm.opcodes

Integer subtraction

SUB() - Constructor for class edu.polytechnique.xvm.asm.opcodes.SUB

T

target - Variable in class edu.polytechnique.mjava.ast.LValue

The (optional) record expression

TBase - Class in edu.polytechnique.mjava.ast.type

This class represents a base type (boolean/int)

TBase(Type) - Constructor for class edu.polytechnique.mjava.ast.type.TBase

tick - Variable in class edu.polytechnique.xvm.exec.State.Output

Which tick generated the output?

tick - Variable in class edu.polytechnique.xvm.exec.State

The tick counter (not available to programs)

TNamed - Class in edu.polytechnique.mjava.ast.type

This class represents a named (record) type.

TNamed(String) - Constructor for class edu.polytechnique.mjava.ast.type.TNamed

toExpandedString() - Method in class edu.polytechnique.xvm.exec.Word.Ptr

toExpandedString() - Method in class edu.polytechnique.xvm.exec.Word

Give an elaborate representation of this word

toString() - Method in class edu.polytechnique.mjava.ast.type.TBase

toString() - Method in class edu.polytechnique.mjava.ast.type.TNamed

toString() - Method in class edu.polytechnique.xvm.asm.interfaces.AsmInstruction

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.FETCH

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.GSB

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.GTO

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.GTZ

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.PUSH

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.RFR

toString() - Method in class edu.polytechnique.xvm.asm.opcodes.WFR

toString() - Method in class edu.polytechnique.xvm.exec.State

toString() - Method in class edu.polytechnique.xvm.exec.Word.Int

toString() - Method in class edu.polytechnique.xvm.exec.Word.Ptr

TProcDef<E extends Expr,I extends Instruction> - Class in edu.polytechnique.mjava.ast

TProcDef(Optional<TType>, String, Stream<VarDecl>, Stream<VarDecl>, I) - Constructor for class edu.polytechnique.mjava.ast.TProcDef

TProgram<E extends Expr,I extends Instruction> - Class in edu.polytechnique.mjava.ast

This class represent a While program

TProgram(List<TTypeDef>, List<TProcDef<E, I>>) - Constructor for class edu.polytechnique.mjava.ast.TProgram

TType - Class in edu.polytechnique.mjava.ast

Root class for type expressions.

TType() - Constructor for class edu.polytechnique.mjava.ast.TType

TTypeDef - Class in edu.polytechnique.mjava.ast

TTypeDef(String, Optional<TTypeDef>, Stream<Pair<TType, String>>) - Constructor for class edu.polytechnique.mjava.ast.TTypeDef

Type - Enum in edu.polytechnique.mjava.ast

This class represents a base type (boolean/int)

TypedExpr<E extends Expr> - Class in edu.polytechnique.mjava.ast

TypedExpr(TType, E) - Constructor for class edu.polytechnique.mjava.ast.TypedExpr

TypedExpr(Type, E) - Constructor for class edu.polytechnique.mjava.ast.TypedExpr

TypedExpr(Optional<TType>, E) - Constructor for class edu.polytechnique.mjava.ast.TypedExpr

TypeVisitor<R,P,E extends java.lang.Exception> - Interface in edu.polytechnique.mjava.ast.visitor

U

UniOp - Enum in edu.polytechnique.mjava.ast

V

value - Variable in class edu.polytechnique.xvm.exec.State.Output

What was output?

value - Variable in class edu.polytechnique.xvm.exec.Word.Int

valueOf(String) - Static method in enum edu.polytechnique.mjava.ast.BinOp

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.polytechnique.mjava.ast.Type

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.polytechnique.mjava.ast.UniOp

Returns the enum constant of this type with the specified name.

values() - Static method in enum edu.polytechnique.mjava.ast.BinOp

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.polytechnique.mjava.ast.Type

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.polytechnique.mjava.ast.UniOp

Returns an array containing the constants of this enum type, in the order they are declared.

VarDecl - Class in edu.polytechnique.mjava.ast

VarDecl(TType, String) - Constructor for class edu.polytechnique.mjava.ast.VarDecl

visit(TBase, P) - Method in interface edu.polytechnique.mjava.ast.visitor.TypeVisitor

visit(TNamed, P) - Method in interface edu.polytechnique.mjava.ast.visitor.TypeVisitor

visit(ADD, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(SUB, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(MULT, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(DIV, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(EQ, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(LT, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(AND, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(OR, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(NOT, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(GTO, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(GSB, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(RET, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(GTZ, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(PUSH, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(POP, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(PRT, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(PXR, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(PRX, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(FETCH, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(READ, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(WRITE, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(ALLOC, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(CREAD, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(CWRITE, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(RFR, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(WFR, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(STOP, P) - Method in interface edu.polytechnique.xvm.asm.interfaces.AsmVisitor

visit(ADD, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(SUB, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(MULT, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(DIV, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(EQ, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(LT, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(AND, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(OR, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(NOT, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(GTO, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(GSB, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(RET, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(GTZ, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(PUSH, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(POP, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(PRT, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(PXR, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(PRX, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(FETCH, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(READ, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(WRITE, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(ALLOC, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(CREAD, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(CWRITE, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(RFR, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(WFR, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(STOP, String) - Method in class edu.polytechnique.xvm.asm.Printer

visit(ADD, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(SUB, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(MULT, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(DIV, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(EQ, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(LT, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(AND, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(OR, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(NOT, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(GTO, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(GSB, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(RET, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(GTZ, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(PUSH, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(POP, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(PRT, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(PXR, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(PRX, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(FETCH, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(READ, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(WRITE, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(ALLOC, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(CREAD, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(CWRITE, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(RFR, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(WFR, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

visit(STOP, State) - Method in class edu.polytechnique.xvm.exec.InstructionExecutor

W

WFR - Class in edu.polytechnique.xvm.asm.opcodes

Pop the stack and write into a stack entry relative to FP

WFR(int) - Constructor for class edu.polytechnique.xvm.asm.opcodes.WFR

Word - Class in edu.polytechnique.xvm.exec

XVM words

Word() - Constructor for class edu.polytechnique.xvm.exec.Word

Word.Int - Class in edu.polytechnique.xvm.exec

Integers

Word.Ptr - Class in edu.polytechnique.xvm.exec

Heap pointers

wordOverflow() - Static method in exception edu.polytechnique.xvm.exec.XVMException

WRITE - Class in edu.polytechnique.xvm.asm.opcodes

Write to static memory

WRITE() - Constructor for class edu.polytechnique.xvm.asm.opcodes.WRITE

X

XVMException - Exception in edu.polytechnique.xvm.exec

Exceptions produced during executions of the VM

XVMException(String) - Constructor for exception edu.polytechnique.xvm.exec.XVMException

A B C D E F G H I L M N O P R S T U V W X