edu.polytechnique.mjava.ast.topdecl

Class TProcDef

java.lang.Object

edu.polytechnique.mjava.ast.topdecl.TProcDef

public class TProcDef
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TProcDef(java.util.Optional<Type> rtype, java.lang.String name, java.util.stream.Stream<EVar> args, java.util.stream.Stream<EVar> locals, Instruction body)

Method Summary

Modifier and Type	Method and Description
java.util.List<EVar>	getArgs()
Instruction	getBody()
java.util.List<EVar>	getLocals()
java.lang.String	getName()
java.util.Optional<Type>	getRtype()

Methods inherited from class java.lang.Object

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

Constructor Detail

TProcDef

public TProcDef(@NonNull
                java.util.Optional<Type> rtype,
                @NonNull
                java.lang.String name,
                @NonNull
                java.util.stream.Stream<EVar> args,
                @NonNull
                java.util.stream.Stream<EVar> locals,
                @NonNull
                Instruction body)

Method Detail

getArgs

public java.util.List<EVar> getArgs()

getLocals

public java.util.List<EVar> getLocals()

getRtype

@NonNull
 @Generated(value="lombok")
public java.util.Optional<Type> getRtype()

getName

@NonNull
 @Generated(value="lombok")
public java.lang.String getName()

getBody

@NonNull
 @Generated(value="lombok")
public Instruction getBody()