jml2b.structure
Class IAParameters

java.lang.Object
  jml2b.structure.IAParameters

Direct Known Subclasses:

ClassParameters, Parameters

public abstract class IAParameters

extends java.lang.Object

Author:

L. Burdy

Constructor Summary

IAParameters()

Method Summary

abstract Type	getType(int i)
boolean	hasSameTypes(java.util.Vector types) compare the signature with the given vector of types.
boolean	isCompatible(java.util.Vector types) return true if the parameters are compatibles with the given vector of Type.
boolean	isCompatibleWith(IJml2bConfiguration config, IAParameters params) return true if all the types in this are compatible with the types in params.
boolean	isSameAs(IAParameters p) compare the signature with the signature of the given parameters.
abstract int	nparams()
abstract java.lang.String	toString(char c)

Methods inherited from class java.lang.Object

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

Constructor Detail

IAParameters

public IAParameters()

Method Detail

isSameAs

public boolean isSameAs(IAParameters p)

compare the signature with the signature of the given parameters. return true iff the signature are the same. (does not check the names of parameters for equality).

isCompatibleWith

public boolean isCompatibleWith(IJml2bConfiguration config,
                                IAParameters params)
                         throws Jml2bException

return true if all the types in this are compatible with the types in params.

Throws:

Jml2bException

hasSameTypes

public boolean hasSameTypes(java.util.Vector types)

compare the signature with the given vector of types. return true iff the signatures are equals.

nparams

public abstract int nparams()

Returns:

isCompatible

public boolean isCompatible(java.util.Vector types)
                     throws Jml2bException

return true if the parameters are compatibles with the given vector of Type. (that is, the types stored in types could be used as parameters for calling the method)

Throws:

Jml2bException

toString

public abstract java.lang.String toString(char c)

Parameters:

c -

Returns:

getType

public abstract Type getType(int i)

Parameters:

i -

Returns: