Uses of Class
org.multijava.mjc.CMethodSet.MethodArgsPair

Packages that use CMethodSet.MethodArgsPair

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CMethodSet.MethodArgsPair in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return CMethodSet.MethodArgsPair

CMethodSet.MethodArgsPair[]	JmlSourceClass.getAbstractMethods() Returns a list of abstract methods.
CMethodSet.MethodArgsPair[]	JmlSourceClass.getInterfaceMethods() Returns a list of interface methods.
private static CMethodSet.MethodArgsPair[]	JmlSourceClass.filterModelMethods(CMethodSet.MethodArgsPair[] methods) Filters out all model methods and returns only non-model methods.

Methods in org.jmlspecs.checker with parameters of type CMethodSet.MethodArgsPair

private static CMethodSet.MethodArgsPair[]

JmlSourceClass.filterModelMethods(CMethodSet.MethodArgsPair[] methods) Filters out all model methods and returns only non-model methods.

Uses of CMethodSet.MethodArgsPair in org.multijava.mjc

Methods in org.multijava.mjc that return CMethodSet.MethodArgsPair

CMethodSet.MethodArgsPair[]	CClass.getAbstractMethods() Returns a list of abstract methods
CMethodSet.MethodArgsPair[]	CClass.getInterfaceMethods() Returns a list of interface methods
CMethodSet.MethodArgsPair[]	CBadClass.getInterfaceMethods() Returns a list of interface methods
CMethodSet.MethodArgsPair[]	CBadClass.getAbstractMethods() Returns a list of abstract methods