edu.polytechnique.mjava.ast.type

Class TNamed

java.lang.Object

edu.polytechnique.mjava.ast.Type

edu.polytechnique.mjava.ast.type.TNamed

public class TNamed
extends Type

This class represents a named (record) type.

See Also:

getName()

Constructor Summary

Constructors

Constructor and Description
TNamed(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
<R,P,E extends java.lang.Exception> R	accept(TypeVisitor<R,P,E> visitor, P arg)
java.lang.String	getName()
java.lang.String	toString()

Methods inherited from class edu.polytechnique.mjava.ast.Type

asBase, asNamed, isBase, isNamed

Methods inherited from class java.lang.Object

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

Constructor Detail

TNamed

@ConstructorProperties(value="name")
 @Generated(value="lombok")
public TNamed(@NonNull
                                                                               java.lang.String name)

Method Detail

accept

public <R,P,E extends java.lang.Exception> R accept(TypeVisitor<R,P,E> visitor,
                                                    P arg)
                                             throws E extends java.lang.Exception

Specified by:

accept in class Type

Throws:

E extends java.lang.Exception

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getName

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

Returns:

the name of the record