JML

org.multijava.mjc
Interface SigSourceMember

All Known Implementing Classes:
CSourceMethod

public interface SigSourceMember

This interface is implemented by signature forest classes that correspond to specific member declarations in an AST. The interface allows one to find the AST node for a declaration from the signature of that declaration.

Version:
$Revision: 1.1 $
Author:
Curtis Clifton

Method Summary
 JMemberDeclaration declarationASTNode()
          Returns the AST node for the declaration corresponding to this signature.
 

Method Detail

declarationASTNode

public JMemberDeclaration declarationASTNode()
Returns the AST node for the declaration corresponding to this signature. May return null if mapping to declaration is not available. For example, an objects representing a synthetic method might be a subtype of CSourceMethod, yet such an object does not have a corresponding AST node.

 ensures \result instanceof JTypeDeclaration ==> 
		\result.getCClass() == this;
 ensures \result instanceof JMethodDeclaration ==> 
		\result.getMethod() == this;
 ensures \result instanceof JFieldDeclaration ==> 
		\result.getField() == this;
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.