Package hydra.typeScript.syntax

Class TypedPattern.Builder

java.lang.Object

hydra.typeScript.syntax.TypedPattern.Builder

Enclosing class:

TypedPattern

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

A fluent builder for TypedPattern.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
TypedPattern	build()	Builds an immutable TypedPattern.
TypedPattern.Builder	pattern(Pattern pattern)
TypedPattern.Builder	type(TypeExpression type)

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

pattern

public TypedPattern.Builder pattern(Pattern pattern)

type

public TypedPattern.Builder type(TypeExpression type)

build

public TypedPattern build()

Builds an immutable TypedPattern.