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

Quick Search    Search Deep

edu.ucsb.ccs.jcontractor
Class CompositeInstrumentationFilter  view CompositeInstrumentationFilter download CompositeInstrumentationFilter.java

java.lang.Object
  extended byedu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
All Implemented Interfaces:
InstrumentationFilter

public class CompositeInstrumentationFilter
extends java.lang.Object
implements InstrumentationFilter

An instrumentation filter that combines other instrumentation filters.

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

Field Summary
protected  java.util.LinkedList filters
          A linked list to hold the filters.
 
Fields inherited from interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
ALL, NONE, POST, PRE
 
Constructor Summary
CompositeInstrumentationFilter()
          Create a new filter.
 
Method Summary
protected  boolean _Invariant()
           
 void addFilter(InstrumentationFilter filter)
          Add a filter to the composite filter.
 boolean appliesTo(java.lang.String classname)
          Always returns true.
 int getFilterLevel()
          Get the filter level; always returns zero.
protected  boolean getFilters_Postcondition(java.util.LinkedList RESULT)
           
 java.util.LinkedList getFilters()
          Get the filters in the composite filter as a linked list.
 int getInstrumentationLevel(java.lang.String classname)
          Get the instrumentation level for a class.
protected  boolean size_Postcondition(int RESULT)
           
 int size()
          Get the number of filters in this composite filter.
 java.lang.String toString()
          Get a string representation of the filter, for debugging.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

filters

protected java.util.LinkedList filters
A linked list to hold the filters.

Constructor Detail

CompositeInstrumentationFilter

public CompositeInstrumentationFilter()
Create a new filter.

Method Detail

addFilter

public void addFilter(InstrumentationFilter filter)
Add a filter to the composite filter.


getFilters

public java.util.LinkedList getFilters()
Get the filters in the composite filter as a linked list.


getFilters_Postcondition

protected boolean getFilters_Postcondition(java.util.LinkedList RESULT)

appliesTo

public boolean appliesTo(java.lang.String classname)
Always returns true.

Specified by:
appliesTo in interface InstrumentationFilter

getFilterLevel

public int getFilterLevel()
Get the filter level; always returns zero.

Specified by:
getFilterLevel in interface InstrumentationFilter

getInstrumentationLevel

public int getInstrumentationLevel(java.lang.String classname)
Get the instrumentation level for a class. This is determined by querying each filter in the composite filter. The instrumentation level given by the filter with the highest filter level is returned. If two or more filters tie in filter level, the one that was added to the composite last takes priority.

Specified by:
getInstrumentationLevel in interface InstrumentationFilter

size

public int size()
Get the number of filters in this composite filter.


size_Postcondition

protected boolean size_Postcondition(int RESULT)

toString

public java.lang.String toString()
Get a string representation of the filter, for debugging.


_Invariant

protected boolean _Invariant()