JML

org.jmlspecs.racwrap.runner
Class CommonImpl

java.lang.Object
  extended byorg.jmlspecs.racwrap.runner.CommonImpl
All Implemented Interfaces:
Node
Direct Known Subclasses:
BranchNode, Leaf

public abstract class CommonImpl
extends Object
implements Node

This component implements the common functionality required in both branch and leaf nodes. Like getting and setting to allow precondition (etc) checks, and getting and setting the name. Look at the javadocs for Node for more information.


Field Summary
private  boolean checkable
           
private  boolean checkInvariant
           
private  boolean checkPostcondition
           
private  boolean checkPrecondition
           
private  String name
           
private  boolean wrap
           
 
Constructor Summary
CommonImpl()
           
 
Method Summary
 String getName()
          Every node has a name that corresponds to the file/directory od the class/package.
 boolean isCheckable()
          use isCheckable to determine whether this Node represents a package or class can be checked or not.
 boolean isCheckInvariant()
          When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the invariants first.
 boolean isCheckPostcondition()
          When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the postconditions after.
 boolean isCheckPrecondition()
          When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the preconditions first.
 boolean isWrap()
          When an instance of a class is loaded, isWrap() is used to determine whether to wrap the component or not.
 void setCheckable(boolean b)
           
 void setCheckInvariant(boolean b, boolean propagate)
           
 void setCheckPostcondition(boolean b, boolean propagate)
           
 void setCheckPrecondition(boolean b, boolean propagate)
           
 void setName(String name)
           
 void setWrap(boolean b, boolean propagate)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.racwrap.runner.Node
addChild, getChild, getChildren, getKeys, isEmpty, prune, removeChild
 

Field Detail

checkable

private boolean checkable

wrap

private boolean wrap

checkPrecondition

private boolean checkPrecondition

checkPostcondition

private boolean checkPostcondition

checkInvariant

private boolean checkInvariant

name

private String name
Constructor Detail

CommonImpl

public CommonImpl()
Method Detail

isCheckable

public boolean isCheckable()
Description copied from interface: Node
use isCheckable to determine whether this Node represents a package or class can be checked or not.

Specified by:
isCheckable in interface Node

isWrap

public boolean isWrap()
Description copied from interface: Node
When an instance of a class is loaded, isWrap() is used to determine whether to wrap the component or not.

Specified by:
isWrap in interface Node

isCheckPrecondition

public boolean isCheckPrecondition()
Description copied from interface: Node
When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the preconditions first.

Specified by:
isCheckPrecondition in interface Node

isCheckPostcondition

public boolean isCheckPostcondition()
Description copied from interface: Node
When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the postconditions after.

Specified by:
isCheckPostcondition in interface Node

isCheckInvariant

public boolean isCheckInvariant()
Description copied from interface: Node
When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the invariants first.

Specified by:
isCheckInvariant in interface Node

setCheckable

public void setCheckable(boolean b)

setWrap

public void setWrap(boolean b,
                    boolean propagate)
Specified by:
setWrap in interface Node
Parameters:
propagate - if set to true will also set the children.

setCheckPrecondition

public void setCheckPrecondition(boolean b,
                                 boolean propagate)
Specified by:
setCheckPrecondition in interface Node
Parameters:
propagate - if set to true will also set the children.

setCheckPostcondition

public void setCheckPostcondition(boolean b,
                                  boolean propagate)
Specified by:
setCheckPostcondition in interface Node
Parameters:
propagate - if set to true will also set the children.

setCheckInvariant

public void setCheckInvariant(boolean b,
                              boolean propagate)
Specified by:
setCheckInvariant in interface Node
Parameters:
propagate - if set to true will also set the children.

setName

public void setName(String name)
Specified by:
setName in interface Node

getName

public String getName()
Description copied from interface: Node
Every node has a name that corresponds to the file/directory od the class/package.

Specified by:
getName in interface Node

toString

public String toString()
Overrides:
toString in class Object

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.