RMJAnnotation.Method (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.multijava.relaxed.util
Class RMJAnnotation.Method

java.lang.Object
  org.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()