Package hydra.error.core

Class UnknownCaseAlternativeError.Builder

java.lang.Object

hydra.error.core.UnknownCaseAlternativeError.Builder

Enclosing class:

UnknownCaseAlternativeError

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

A fluent builder for UnknownCaseAlternativeError.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

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

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 UnknownCaseAlternativeError.Builder location(SubtermPath location)

typeName

public UnknownCaseAlternativeError.Builder typeName(Name typeName)

name

public UnknownCaseAlternativeError.Builder name(Name name)

build

public UnknownCaseAlternativeError build()

Builds an immutable UnknownCaseAlternativeError.