org.jmlspecs.jmlunit
Class TestClassGenerator.MethodInfo

java.lang.Object
  org.jmlspecs.jmlunit.TestClassGenerator.MethodInfo

Enclosing class:

TestClassGenerator

protected class TestClassGenerator.MethodInfo

extends Object

Common information needed from JMethodDeclarationType and CMethod in this class.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Field Summary
private  boolean	isConstr           Is this a constructor?
private  boolean	isDepr           Is this deprecated?
private  long	mods           The method's modifiers
private  String	name           The method's name
private  TestClassGenerator.Parameter[]	params           The method's parameters
private  CType	retTyp           The method's return type

 

Constructor Summary

TestClassGenerator.MethodInfo(CMethod m)           Initialize this object from the given CMethod

TestClassGenerator.MethodInfo(JMethodDeclarationType mdecl)           Initialize this object from the given JMethodDeclarationType

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
String	ident()           Return the name of this method.
boolean	isConstructor()           Is this a constructor?
boolean	isDeprecated()           Is this method deprecated?
long	modifiers()           Return the modifiers of this method.
TestClassGenerator.Parameter[]	parameters()           Return this method's parameters
CType	returnType()           Return the modifiers of this method.

 

Methods inherited from class java.lang.Object

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

 

Field Detail

retTyp

private CType retTyp

The method's return type

mods

private long mods

The method's modifiers

name

private String name

The method's name

params

private TestClassGenerator.Parameter[] params

The method's parameters

isConstr

private boolean isConstr

Is this a constructor?

isDepr

private boolean isDepr

Is this deprecated?

TestClassGenerator.MethodInfo

public TestClassGenerator.MethodInfo(CMethod m)

Initialize this object from the given CMethod

TestClassGenerator.MethodInfo

public TestClassGenerator.MethodInfo(JMethodDeclarationType mdecl)

Initialize this object from the given JMethodDeclarationType

returnType

public final CType returnType()

Return the modifiers of this method.

modifiers

public final long modifiers()

Return the modifiers of this method.

ident

public final String ident()

Return the name of this method.

parameters

public final TestClassGenerator.Parameter[] parameters()

Return this method's parameters

isConstructor

public final boolean isConstructor()

Is this a constructor?

isDeprecated

public final boolean isDeprecated()

Is this method deprecated?