edu.polytechnique.mjava.ast

Class TProgram<E extends Expr,I extends Instruction>

java.lang.Object

edu.polytechnique.mjava.ast.TProgram<E,I>

public class TProgram<E extends Expr,I extends Instruction>
extends java.lang.Object

This class represent a While program

Field Summary

Fields

Modifier and Type	Field and Description
java.util.List<TProcDef<E,I>>	procs list of defined procedures
java.util.List<TTypeDef>	records list of defined records

Constructor Summary

Constructors

Constructor and Description
TProgram(java.util.List<TTypeDef> records, java.util.List<TProcDef<E,I>> procs)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

records

@NonNull
public java.util.List<TTypeDef> records

list of defined records

procs

@NonNull
public java.util.List<TProcDef<E extends Expr,I extends Instruction>> procs

list of defined procedures

Constructor Detail

TProgram

@ConstructorProperties(value={"records","procs"})
 @Generated(value="lombok")
public TProgram(@NonNull
                                                                                              java.util.List<TTypeDef> records,
                                                                                              @NonNull
                                                                                              java.util.List<TProcDef<E,I>> procs)