org.jmlspecs.checker
Class JmlSourceClass.JmlSourceClass$1

java.lang.Object
  org.multijava.mjc.CClass.NoDupStrategy
      org.jmlspecs.checker.JmlSourceClass.JmlSourceClass$1

All Implemented Interfaces:

CMethodSet.Strategy

Enclosing class:

JmlSourceClass

class JmlSourceClass.JmlSourceClass$1

extends CClass.NoDupStrategy

Field Summary

 

Fields inherited from class org.multijava.mjc.CClass.NoDupStrategy

already_searched

 

Fields inherited from interface org.multijava.mjc.CMethodSet.Strategy

DONE_WITH_ACCUM, IGNORE_CURRENT, REMOVE_ACCUM

 

Constructor Summary
(package private)	JmlSourceClass.JmlSourceClass$1()

 

Method Summary
boolean	maybeInclude(CMethod candidate, CClassType[] args)           Indicates whether the given candidate method should be checked against the methods already in the accumulator for possible inclusion in the accumulator.
byte	resultFor(CMethod candidate, CMethod accumMethod)           Checks the given candidate method against a single method in the accumulator and decides whether the candidate should be added to the accumulator, whether the method from the accumulator should be removed, and whether additional checks against the remaining methods in the accumulator are necessary.

 

Methods inherited from class org.multijava.mjc.CClass.NoDupStrategy

alreadySearched

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

JmlSourceClass.JmlSourceClass$1

JmlSourceClass.JmlSourceClass$1()

maybeInclude

public boolean maybeInclude(CMethod candidate,
                            CClassType[] args)
                     throws UnpositionedError

Description copied from interface: CMethodSet.Strategy

Indicates whether the given candidate method should be checked against the methods already in the accumulator for possible inclusion in the accumulator.

Parameters:

candidate - the candidate method for inclusion in the accumulator

Returns:

true if the method should be considered

Throws:

UnpositionedError - usually the implementer will want to use CContextType.reportTrouble() for error reporting to avoid throwing an exception, the exception is allowed here for flexibility

resultFor

public byte resultFor(CMethod candidate,
                      CMethod accumMethod)
               throws UnpositionedError

Description copied from interface: CMethodSet.Strategy

Checks the given candidate method against a single method in the accumulator and decides whether the candidate should be added to the accumulator, whether the method from the accumulator should be removed, and whether additional checks against the remaining methods in the accumulator are necessary.

Parameters:

candidate - the candidate method for inclusion in the accumulator

accumMethod - a single method from the accumulator

Returns:

a bit mask indicating the actions to be taken

Throws:

UnpositionedError - if a problem is detected in the source code.