Package hydra.core

Class AnnotatedTerm.Builder

java.lang.Object

hydra.core.AnnotatedTerm.Builder

Enclosing class:

AnnotatedTerm

public static final class AnnotatedTerm.Builder
extends java.lang.Object

A fluent builder for AnnotatedTerm.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
AnnotatedTerm.Builder	annotation(Term annotation)
AnnotatedTerm.Builder	body(Term body)
AnnotatedTerm	build()	Builds an immutable AnnotatedTerm.

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

body

public AnnotatedTerm.Builder body(Term body)

annotation

public AnnotatedTerm.Builder annotation(Term annotation)

build

public AnnotatedTerm build()

Builds an immutable AnnotatedTerm.