eu.bandm.sig.absy
Class PCast

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Pattern
          extended by eu.bandm.sig.absy.PCast
All Implemented Interfaces:
Formattable, Cloneable

public class PCast
extends Pattern


Field Summary
protected  Pattern body
           
static Function<PCast,Pattern> get_body
           
static Function<PCast,Boolean> get_open
           
static Function<PCast,Type> get_target
           
protected  boolean open
           
static Consumer<Pattern,PCast> set_body
           
static Consumer<Boolean,PCast> set_open
           
static Consumer<Type,PCast> set_target
           
protected  Type target
           
 
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
PCast(boolean open, Type target, Pattern body)
           
 
Method Summary
 PCast doclone()
           
 Format format()
           
 Pattern get_body()
           
 boolean get_open()
           
 Type get_target()
           
static String getFormatHint()
           
 PCast initFrom(Object o0)
           
 boolean set_body(Pattern val)
           
 boolean set_open(boolean val)
           
 boolean set_target(Type val)
           
 
Methods inherited from class eu.bandm.sig.absy.Pattern
descend_bindings, 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

open

protected boolean open

get_open

public static final Function<PCast,Boolean> get_open

set_open

public static final Consumer<Boolean,PCast> set_open

target

protected Type target

get_target

public static final Function<PCast,Type> get_target

set_target

public static final Consumer<Type,PCast> set_target

body

protected Pattern body

get_body

public static final Function<PCast,Pattern> get_body

set_body

public static final Consumer<Pattern,PCast> set_body
Constructor Detail

PCast

public PCast(boolean open,
             Type target,
             Pattern body)
Method Detail

doclone

public PCast doclone()
Overrides:
doclone in class Pattern

getFormatHint

public static String getFormatHint()

format

public Format format()
Specified by:
format in interface Formattable
Overrides:
format in class Pattern

initFrom

public PCast initFrom(Object o0)
Overrides:
initFrom in class Pattern

get_open

public boolean get_open()

set_open

public boolean set_open(boolean val)

get_target

public Type get_target()

set_target

public boolean set_target(Type val)

get_body

public Pattern get_body()

set_body

public boolean set_body(Pattern val)