JML

org.multijava.relaxed.util
Class RMJAnnotation.Method

java.lang.Object
  extended byorg.multijava.relaxed.util.RMJAnnotation.Method
Enclosing class:
RMJAnnotation

public static class RMJAnnotation.Method
extends Object


Field Summary
private  String _ambigErrorClassName
           
private  String _baseAnchorClassName
           
private  String _dispatcherClassName
           
private  boolean _isAbstract
           
private  String _kind
           
private  String _opName
           
private  String[] _specializerDescs
           
private  String[] _staticTypeDescs
           
 
Constructor Summary
RMJAnnotation.Method(String opName, String[] staticTypeDescs, String[] specializerDescs, boolean isAbstract, String kind, String baseAnchorClassName, String dispatcherClassName, String ambigErrorClassName)
           
 
Method Summary
 String ambigErrorClassName()
           
 String baseAnchorClassName()
           
 String dispatcherClassName()
           
 void foundInGlueAnchor()
           
private  String getAnnotationString()
           
 boolean isAbstract()
           
 boolean isBaseAnchor()
           
 boolean isGlue()
           
 boolean isSubAnchor()
           
 String kind()
           
 String opName()
           
static void parseBody(RMJAnnotation annos, String buffer, int start, int end)
           
 String[] specializerDescs()
           
 String[] staticTypeDescs()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_opName

private String _opName

_staticTypeDescs

private String[] _staticTypeDescs

_specializerDescs

private String[] _specializerDescs

_isAbstract

private boolean _isAbstract

_kind

private String _kind

_baseAnchorClassName

private String _baseAnchorClassName

_dispatcherClassName

private String _dispatcherClassName

_ambigErrorClassName

private String _ambigErrorClassName
Constructor Detail

RMJAnnotation.Method

public RMJAnnotation.Method(String opName,
                            String[] staticTypeDescs,
                            String[] specializerDescs,
                            boolean isAbstract,
                            String kind,
                            String baseAnchorClassName,
                            String dispatcherClassName,
                            String ambigErrorClassName)
Method Detail

getAnnotationString

private String getAnnotationString()

parseBody

public static void parseBody(RMJAnnotation annos,
                             String buffer,
                             int start,
                             int end)
                      throws RMJAnnotation.ParseError
Throws:
RMJAnnotation.ParseError

toString

public String toString()
Overrides:
toString in class Object

opName

public String opName()

staticTypeDescs

public String[] staticTypeDescs()

specializerDescs

public String[] specializerDescs()

isAbstract

public boolean isAbstract()

kind

public String kind()

isBaseAnchor

public boolean isBaseAnchor()

isSubAnchor

public boolean isSubAnchor()

isGlue

public boolean isGlue()

foundInGlueAnchor

public void foundInGlueAnchor()

baseAnchorClassName

public String baseAnchorClassName()

dispatcherClassName

public String dispatcherClassName()

ambigErrorClassName

public String ambigErrorClassName()

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.