eu.bandm.sig.absy
Class ConjunctivePattern

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Pattern
          eu.bandm.sig.absy.ConjunctivePattern

All Implemented Interfaces:

Formattable, Cloneable

public class ConjunctivePattern
extends Pattern

Field Summary

static Function<ConjunctivePattern,Pattern>	get_left
static Function<ConjunctivePattern,Pattern>	get_right
protected Pattern	left
protected Pattern	right

Fields inherited from class eu.bandm.sig.absy.Pattern

bindings, get_bindings, get_type, set_bindings, set_type, type

Fields inherited from class eu.bandm.sig.absy.Absy

get_location, location, set_location

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

protected	ConjunctivePattern()
	ConjunctivePattern(Pattern left, Pattern right)

Method Summary

ConjunctivePattern	doclone()
Pattern	get_left()
Pattern	get_right()
static String	getFormatHint()
ConjunctivePattern	initFrom(Object o0)
void	set_left(Pattern val)
void	set_right(Pattern val)

Methods inherited from class eu.bandm.sig.absy.Pattern

descend_bindings, format, get_bindings, get_type, set_bindings, set_type

Methods inherited from class eu.bandm.sig.absy.Absy

get_location, set_location

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

left

protected Pattern left

get_left

public static Function<ConjunctivePattern,Pattern> get_left

right

protected Pattern right

get_right

public static Function<ConjunctivePattern,Pattern> get_right

Constructor Detail

ConjunctivePattern

public ConjunctivePattern(Pattern left,
                          Pattern right)

ConjunctivePattern

protected ConjunctivePattern()

Method Detail

doclone

public ConjunctivePattern doclone()

Overrides:

doclone in class Pattern

getFormatHint

public static String getFormatHint()

initFrom

public ConjunctivePattern initFrom(Object o0)

Overrides:

initFrom in class Pattern

get_left

public Pattern get_left()

set_left

public void set_left(Pattern val)

get_right

public Pattern get_right()

set_right

public void set_right(Pattern val)