Package hydra.error.core

Class InvalidLetBindingNameError.Builder

java.lang.Object

hydra.error.core.InvalidLetBindingNameError.Builder

Enclosing class:

InvalidLetBindingNameError

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

A fluent builder for InvalidLetBindingNameError.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
InvalidLetBindingNameError	build()	Builds an immutable InvalidLetBindingNameError.
InvalidLetBindingNameError.Builder	location(SubtermPath location)
InvalidLetBindingNameError.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 InvalidLetBindingNameError.Builder location(SubtermPath location)

name

public InvalidLetBindingNameError.Builder name(Name name)

build

public InvalidLetBindingNameError build()

Builds an immutable InvalidLetBindingNameError.