Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

edu.ucsb.ccs.jcontractor.extras
Class PackageLevelInstrumentationFilterType  view PackageLevelInstrumentationFilterType download PackageLevelInstrumentationFilterType.java

java.lang.Object
  extended byedu.ucsb.ccs.jcontractor.extras.PackageLevelInstrumentationFilterType

public class PackageLevelInstrumentationFilterType
extends java.lang.Object

A type for Ant that wraps PackageLevelInstrumentationFilter. This type allows the jContractor Ant tasks to set instrumentation filters using syntax like this: <pre package="edu.*"/>. The actual PackageLevelInstrumentationFilter is created from the parameters by the getFilter() method.

Version:
$Id: PackageLevelInstrumentationFilterType.java,v 1.3 2002/05/22 06:28:54 parkera Exp $

Field Summary
protected  int instrumentationLevel
          The instrumentation level to assign to classes that match the filter criteria.
protected  java.lang.String packageAndClass
          The name of the package (and class) to match.
 
Constructor Summary
PackageLevelInstrumentationFilterType(java.lang.String packagename, int instrumentationLevel)
          Create a wrapper for a filter with the specified criteria.
 
Method Summary
protected  boolean _Invariant()
           
 edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter getFilter()
          Get a PackageLevelInstrumentationFilter with the criteria set in this wrapper.
protected  boolean getInstrumentationLevel_Postcondition(int RESULT)
           
 int getInstrumentationLevel()
          Get the instrumentation level assigned to classes that match the filter criteria.
 java.lang.String getPackage()
          Get the filter's package attribute.
protected  boolean setInstrumentationLevel_Precondition(int level)
           
 void setInstrumentationLevel(int level)
          Set the instrumentation level assigned to classes that match the filter criteria.
 void setPackage(java.lang.String packagename)
          Set the filter's package attribute.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

packageAndClass

protected java.lang.String packageAndClass
The name of the package (and class) to match.


instrumentationLevel

protected int instrumentationLevel
The instrumentation level to assign to classes that match the filter criteria.

Constructor Detail

PackageLevelInstrumentationFilterType

public PackageLevelInstrumentationFilterType(java.lang.String packagename,
                                             int instrumentationLevel)
Create a wrapper for a filter with the specified criteria. The package name includes a class name or wildcard, such as "edu.ucsb.ccs.jcontractor.jInstrument" or "edu.ucsb.ccs.*". To match all classes in any package, simply pass "*". If only a class name is given the default package is assumed ("jInstrument" is the same as ".jInstrument").

Method Detail

setPackage

public void setPackage(java.lang.String packagename)
Set the filter's package attribute. Input is a class and package name, such as "edu.ucsb.ccs.jcontractor.jInstrument" or "edu.ucsb.ccs.*". To match all classes in any package, simply pass "*". If only a class name is given the default package is assumed ("jInstrument" is the same as ".jInstrument").


getPackage

public java.lang.String getPackage()
Get the filter's package attribute.


setInstrumentationLevel

public void setInstrumentationLevel(int level)
Set the instrumentation level assigned to classes that match the filter criteria.


setInstrumentationLevel_Precondition

protected boolean setInstrumentationLevel_Precondition(int level)

getInstrumentationLevel

public int getInstrumentationLevel()
Get the instrumentation level assigned to classes that match the filter criteria.


getInstrumentationLevel_Postcondition

protected boolean getInstrumentationLevel_Postcondition(int RESULT)

getFilter

public edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter getFilter()
Get a PackageLevelInstrumentationFilter with the criteria set in this wrapper.


_Invariant

protected boolean _Invariant()