com.io7m.jpra.model.type_declarations

Class RecordFieldDecl

java.lang.Object

com.io7m.jpra.model.type_declarations.RecordFieldDecl

public final class RecordFieldDecl
extends Object

Functions over record field declarations.

Method Summary

Modifier and Type	Method and Description
static <I,T> Optional<FieldName>	name(RecordFieldDeclType<I,T> r)

Methods inherited from class java.lang.Object

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

Method Detail

name

public static <I,T> Optional<FieldName> name(RecordFieldDeclType<I,T> r)

Type Parameters:

T - The type of type information

I - The type of identifiers

Parameters:

r - The field declaration

Returns:

The name defined for the given field declaration, if any