InstrumentationFilter

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT

SOURCE |

Download edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.ucsb.ccs.jcontractor
Class InstrumentationFilter_CONTRACT

java.lang.Object
  edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT

public class InstrumentationFilter_CONTRACT
extends java.lang.Object

Contract class for InstrumentationFilter.

Version:: $Id: InstrumentationFilter_CONTRACT.java,v 1.1 2002/03/28 19:25:42 parkera Exp $

Constructor Summary

InstrumentationFilter_CONTRACT()


Method Summary

protected boolean getInstrumentationLevel_Postcondition(java.lang.String classname, int RESULT)


protected boolean getInstrumentationLevel_Precondition(java.lang.String classname)


int getInstrumentationLevel(java.lang.String classname)
          Dummy method implementation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InstrumentationFilter_CONTRACT

public InstrumentationFilter_CONTRACT()

Method Detail

getInstrumentationLevel

public int getInstrumentationLevel(java.lang.String classname)

Dummy method implementation.

getInstrumentationLevel_Precondition

protected boolean getInstrumentationLevel_Precondition(java.lang.String classname)

getInstrumentationLevel_Postcondition

protected boolean getInstrumentationLevel_Postcondition(java.lang.String classname,
                                                        int RESULT)