|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.lib.OclAny
tudresden.ocl.lib.OclString
This class represents the basic OCL type String.
Field Summary | |
private String |
sValue
The value of this OclString, stored as a java.lang.String. |
Fields inherited from class tudresden.ocl.lib.OclAny |
|
Constructor Summary | |
OclString(int dummy,
String reason)
constructor for undefined OclString |
|
OclString(String str)
package-visible constructor for OclString |
Method Summary | |
OclString |
concat(OclString s)
|
boolean |
equals(Object o)
|
OclRoot |
getFeature(String name)
This method returns an undefined value. |
String |
getString()
|
int |
hashCode()
|
OclBoolean |
isEqualTo(Object o)
Two OclStrings are equal if their java.lang.String values are equal and none of them is undefined. |
OclBoolean |
isNotEqualTo(Object o)
Returns the negated result of isEqualTo . |
OclBoolean |
oclIsKindOf(OclType type)
This method returns true if the OclType given as parameter is a type of the object whose method is called or a supertype of such a type. |
OclType |
oclType()
This property is no longer present in OCL 1.3. |
OclInteger |
size()
An operation representing the size property defined on collections and strings. |
OclString |
substring(OclInteger lower,
OclInteger upper)
|
OclString |
toLower()
|
String |
toString()
|
OclString |
toUpper()
|
Methods inherited from class tudresden.ocl.lib.OclAny |
getFeatureAsCollection, getUndefinedReason, isUndefined, oclAsType, oclInState, oclIsTypeOf |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface tudresden.ocl.lib.OclRoot |
getFeatureAsCollection, getUndefinedReason, isUndefined |
Field Detail |
private String sValue
Constructor Detail |
public OclString(String str)
str
- the String to be represented; must not be null
.public OclString(int dummy, String reason)
Method Detail |
public OclBoolean isEqualTo(Object o)
isEqualTo
in interface OclRoot
isEqualTo
in class OclAny
public int hashCode()
public boolean equals(Object o)
public OclBoolean isNotEqualTo(Object o)
OclRoot
isEqualTo
.
isNotEqualTo
in interface OclRoot
isNotEqualTo
in class OclAny
isEqualTo(Object o)
public OclInteger size()
OclSizable
size
in interface OclSizable
public OclString concat(OclString s)
public OclString toUpper()
public OclString toLower()
public OclString substring(OclInteger lower, OclInteger upper)
lower
, up to and including character number
upper
; the first character of an OclString has
the number 1
OclRuntimeException
public OclRoot getFeature(String name)
getFeature
in interface OclRoot
getFeature
in class OclAny
public String getString()
public String toString()
public OclBoolean oclIsKindOf(OclType type)
OclAny
oclIsKindOf
in class OclAny
OclAny.oclIsKindOf(OclType type)
public OclType oclType()
oclType
in class OclAny
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |