edu.polytechnique.mjava.ast

Class TProcDef<E extends Expr,I extends Instruction>

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
TProcDef(java.util.Optional<TType> rtype, java.lang.String name, java.util.stream.Stream<VarDecl> args, java.util.stream.Stream<VarDecl> locals, I body)

Method Summary

Modifier and Type	Method and Description
java.util.List<VarDecl>	getArgs()
I	getBody()
java.util.List<VarDecl>	getLocals()
java.lang.String	getName()
java.util.Optional<TType>	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<TType> rtype,
                @NonNull
                java.lang.String name,
                @NonNull
                java.util.stream.Stream<VarDecl> args,
                @NonNull
                java.util.stream.Stream<VarDecl> locals,
                @NonNull
                I body)

Method Detail

getArgs

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

getLocals

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

getRtype

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

getName

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

getBody

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