edu.polytechnique.mjava.ast.topdecl

Class TTypeDef

java.lang.Object

edu.polytechnique.mjava.ast.topdecl.TTypeDef

public class TTypeDef
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TTypeDef(java.lang.String name, java.util.Optional<TTypeDef> parent, java.util.stream.Stream<org.antlr.v4.runtime.misc.Pair<Type,java.lang.String>> fields)

Method Summary

Modifier and Type	Method and Description
java.util.List<org.antlr.v4.runtime.misc.Pair<Type,java.lang.String>>	getFields()
java.lang.String	getName()
java.util.Optional<TTypeDef>	getParent()

Methods inherited from class java.lang.Object

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

Constructor Detail

TTypeDef

public TTypeDef(@NonNull
                java.lang.String name,
                @NonNull
                java.util.Optional<TTypeDef> parent,
                @NonNull
                java.util.stream.Stream<org.antlr.v4.runtime.misc.Pair<Type,java.lang.String>> fields)

Method Detail

getFields

public java.util.List<org.antlr.v4.runtime.misc.Pair<Type,java.lang.String>> getFields()

getName

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

getParent

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