|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.injection.JavaFeature
tudresden.ocl.injection.JavaAttribute
Represents an attribute of a class parsed by the java parser. Contains additional information about the element-type and key-type tags attached to this attribute.
Injector
Field Summary | |
private String |
element_type
The content of the @element-type tag in the doccomment connected to this attribute. |
private String |
key_type
The content of the @key-type tag in the doccomment connected to this attribute. |
Fields inherited from class tudresden.ocl.injection.JavaFeature |
name, type |
Constructor Summary | |
JavaAttribute(JavaAttribute ja,
String name)
Constructs a java attribute with the same JavaFeature.parent , JavaFeature.modifiers and JavaFeature.type
but the given name. |
|
JavaAttribute(JavaClass parent,
int modifiers,
String type,
String name)
|
Method Summary | |
int |
getAllowedModifiers()
See Java Specification 8.3.1 "Field Modifiers" |
String |
getElementType()
Returns the content of the @element-type tag in the doccomment connected to this attribute. |
String |
getFullDocName()
Return a fully qualified name of the attribute, including class and package path. |
String |
getKeyType()
Returns the content of the @key-type tag in the doccomment connected to this attribute. |
void |
setElementType(String element_type)
Sets the content of the @element-type tag in the doccomment connected to this attribute. |
void |
setKeyType(String key_type)
Sets the content of the @key-type tag in the doccomment connected to this attribute. |
Methods inherited from class tudresden.ocl.injection.JavaFeature |
getFile, getModifiers, getName, getPackageName, getParent, getType, isAbstract, isStatic, print, printMore |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private String element_type
private String key_type
Constructor Detail |
public JavaAttribute(JavaClass parent, int modifiers, String type, String name) throws InjectorParseException
public JavaAttribute(JavaAttribute ja, String name) throws InjectorParseException
JavaFeature.parent
, JavaFeature.modifiers
and JavaFeature.type
but the given name.
Needed for comma separated attributes.
Method Detail |
public final String getFullDocName()
public final void setElementType(String element_type)
public final String getElementType()
public final void setKeyType(String key_type)
public final String getKeyType()
public final int getAllowedModifiers()
getAllowedModifiers
in class JavaFeature
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |