Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jml4.ast
Interface JmlAbstractMethodDeclaration

All Known Implementing Classes:
JmlConstructorDeclaration, JmlMethodDeclaration, RacConstructorDeclaration, RacMethodDeclaration
public interface JmlAbstractMethodDeclaration

Method Summary
 JmlMethodSpecification getSpecification()
           
 void initJmlModifiersFromAnnotations()
           
 void setEscResults(Result[] results)
           
 

Method Detail

initJmlModifiersFromAnnotations

void initJmlModifiersFromAnnotations()

getSpecification

JmlMethodSpecification getSpecification()

setEscResults

void setEscResults(Result[] results)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD