jml2b.structure.bytecode
Class ClassParameters

java.lang.Object
  jml2b.structure.IAParameters
      jml2b.structure.bytecode.ClassParameters

public class ClassParameters

extends IAParameters

Author:

L. Burdy

Constructor Summary

ClassParameters()

ClassParameters(IJml2bConfiguration config, org.apache.bcel.classfile.Method m)

Method Summary

Type	getType(int i)
int	nparams()
java.lang.String	toString(char c)

Methods inherited from class jml2b.structure.IAParameters

hasSameTypes, isCompatible, isCompatibleWith, isSameAs

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassParameters

public ClassParameters(IJml2bConfiguration config,
                       org.apache.bcel.classfile.Method m)
                throws Jml2bException

Parameters:

m -

ClassParameters

public ClassParameters()

Method Detail

getType

public Type getType(int i)

Specified by:

getType in class IAParameters

Parameters:

i -

Returns:

nparams

public int nparams()

Specified by:

nparams in class IAParameters

Returns:

toString

public java.lang.String toString(char c)

Specified by:

toString in class IAParameters

Parameters:

c -

Returns: