Package hydra.core

Class Term.Annotated

java.lang.Object

hydra.core.Term

hydra.core.Term.Annotated

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

Term

public static final class Term.Annotated
extends Term
implements java.io.Serializable

A term annotated with metadata

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.core.Term

Term.Annotated, Term.Application, Term.Function, Term.Let, Term.List, Term.Literal, Term.Map, Term.Optional, Term.PartialVisitor<R>, Term.Product, Term.Record, Term.Set, Term.Sum, Term.TypeAbstraction, Term.TypeApplication, Term.Typed, Term.Union, Term.Variable, Term.Visitor<R>, Term.Wrap

Field Summary

Fields

Modifier and Type	Field	Description
AnnotatedTerm	value

Fields inherited from class hydra.core.Term

FIELD_NAME_ANNOTATED, FIELD_NAME_APPLICATION, FIELD_NAME_FUNCTION, FIELD_NAME_LET, FIELD_NAME_LIST, FIELD_NAME_LITERAL, FIELD_NAME_MAP, FIELD_NAME_OPTIONAL, FIELD_NAME_PRODUCT, FIELD_NAME_RECORD, FIELD_NAME_SET, FIELD_NAME_SUM, FIELD_NAME_TYPE_ABSTRACTION, FIELD_NAME_TYPE_APPLICATION, FIELD_NAME_TYPED, FIELD_NAME_UNION, FIELD_NAME_VARIABLE, FIELD_NAME_WRAP, TYPE_NAME

Constructor Summary

Constructors

Constructor	Description
Annotated(AnnotatedTerm value)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(Term.Visitor<R> visitor)
boolean	equals(java.lang.Object other)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

value

public final AnnotatedTerm value

Constructor Detail

Annotated

public Annotated(AnnotatedTerm value)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

accept

public <R> R accept(Term.Visitor<R> visitor)

Specified by:

accept in class Term