eu.bandm.sig.absy
Class VNamed

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

public class VNamed
extends Variable


Field Summary
protected static int BASE_HASH
           
static Function<VNamed,String> get_name
           
protected  String name
           
static Consumer<String,VNamed> set_name
           
 
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
VNamed(String name)
           
 
Method Summary
 VNamed doclone()
           
 boolean equals(Object e0)
           
 Format format()
           
 String get_name()
           
 int hashCode()
           
 VNamed initFrom(Object o0)
           
 String toString()
           
 VNamed with_name(String val)
           
 boolean x_equals(VNamed e0)
           
 
Methods inherited from class eu.bandm.sig.absy.Absy
get_location, set_location
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

BASE_HASH

protected static final int BASE_HASH

name

protected String name

get_name

public static final Function<VNamed,String> get_name

set_name

public static final Consumer<String,VNamed> set_name
Constructor Detail

VNamed

public VNamed(String name)
Method Detail

doclone

public VNamed doclone()
Overrides:
doclone in class Variable

format

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

toString

public String toString()
Overrides:
toString in class Object

equals

public boolean equals(Object e0)
Overrides:
equals in class Object

x_equals

public boolean x_equals(VNamed e0)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

initFrom

public VNamed initFrom(Object o0)
Overrides:
initFrom in class Variable

get_name

public String get_name()

with_name

public VNamed with_name(String val)