Package hydra.error.core

Class EmptyLetBindingsError.Builder

java.lang.Object

hydra.error.core.EmptyLetBindingsError.Builder

Enclosing class:

EmptyLetBindingsError

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

A fluent builder for EmptyLetBindingsError.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
EmptyLetBindingsError	build()	Builds an immutable EmptyLetBindingsError.
EmptyLetBindingsError.Builder	location(SubtermPath location)

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

build

public EmptyLetBindingsError build()

Builds an immutable EmptyLetBindingsError.