edu.polytechnique.mjava.ast

Class Program

java.lang.Object

edu.polytechnique.mjava.ast.Program

public class Program
extends java.lang.Object

This class represent a While program

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Program(java.util.List<TTypeDef> records, java.util.List<TProcDef> 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> procs

list of defined procedures

Constructor Detail

Program

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