Package hydra.error.core

Class UndefinedTermVariableError.Builder

java.lang.Object

hydra.error.core.UndefinedTermVariableError.Builder

Enclosing class:

UndefinedTermVariableError

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

A fluent builder for UndefinedTermVariableError.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
UndefinedTermVariableError	build()	Builds an immutable UndefinedTermVariableError.
UndefinedTermVariableError.Builder	location(SubtermPath location)
UndefinedTermVariableError.Builder	name(Name name)

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

location

public UndefinedTermVariableError.Builder location(SubtermPath location)

name

public UndefinedTermVariableError.Builder name(Name name)

build

public UndefinedTermVariableError build()

Builds an immutable UndefinedTermVariableError.