editor
Class Estate

java.lang.Object
  |
  +--editor.EditorObject
        |
        +--editor.Estate

public class Estate
extends EditorObject


Constructor Summary
Estate(Estate lastestate, Astate instate, AstateList instatelist)
          wrappt einen Estate um einen gegebenen Astate mit Liste
Estate(java.lang.String name, Expr inexpr, float x, float y, int etype)
           
 
Method Summary
 boolean checkStateName(java.lang.String inname)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Estate

public Estate(java.lang.String name,
              Expr inexpr,
              float x,
              float y,
              int etype)

Estate

public Estate(Estate lastestate,
              Astate instate,
              AstateList instatelist)
wrappt einen Estate um einen gegebenen Astate mit Liste
Method Detail

checkStateName

public boolean checkStateName(java.lang.String inname)