|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Morphism
org.rubato.math.yoneda.IdentityMorphism
org.rubato.math.yoneda.RepresentableIdentityMorphism
public final class RepresentableIdentityMorphism
Identity morphism representing a module "object". Thus it is "representable".
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
RepresentableIdentityMorphism(Module module)
Creates an identity morphism representing the given module. |
|
RepresentableIdentityMorphism(Module module,
ModuleElement lowValue,
ModuleElement highValue)
Creates an identity morphism representing the given module. |
Method Summary | |
---|---|
Morphism |
at(ModuleElement element)
Evaluates this morphism at address element . |
Morphism |
changeAddress(Module address)
Makes an address change. |
Morphism |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
int |
compareTo(Morphism object)
|
RepresentableIdentityMorphism |
copy()
Returns a deep copy of this morphism. |
boolean |
equals(java.lang.Object object)
Returns true iff this morphism is equal to the specified object. |
Morphism |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(Morphism m,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
Adds the denotator dependencies of this morphism to list . |
Diagram |
getDiagram()
Returns the diagram of this identity morphism. |
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
Adds the form dependencies of this morphism to list . |
ModuleElement |
getHighValue()
|
ModuleElement |
getLowValue()
|
Module |
getModule()
Returns the module of this identity morphism. |
int |
getMorphOrder()
Returns an integer indicating the position in the morphism ordering. |
int |
getType()
Returns the type of this identity morphism. |
boolean |
hasBounds()
|
int |
hashCode()
Returns a hash code for this morphism. |
boolean |
isRepresentable()
Returns true iff this morphism is representable. |
java.lang.String |
toString()
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.yoneda.IdentityMorphism |
---|
getCodomain, getCodomainDiagram, getCodomainModule, getCodomainType, getDomain, getDomainDiagram, getDomainModule, getDomainType, getMap, isIdentity, setMap |
Methods inherited from class org.rubato.math.yoneda.Morphism |
---|
clone |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public RepresentableIdentityMorphism(Module module)
public RepresentableIdentityMorphism(Module module, ModuleElement lowValue, ModuleElement highValue)
Method Detail |
---|
public Diagram getDiagram()
IdentityMorphism
getDiagram
in class IdentityMorphism
public Module getModule()
IdentityMorphism
getModule
in class IdentityMorphism
public ModuleElement getLowValue()
public ModuleElement getHighValue()
public boolean hasBounds()
public int getType()
IdentityMorphism
getType
in class IdentityMorphism
public boolean isRepresentable()
Morphism
isRepresentable
in class IdentityMorphism
public Morphism at(ModuleElement element)
Morphism
element
.
at
in class Morphism
public Morphism changeAddress(Module address)
Morphism
changeAddress
in class Morphism
address
- the new address of the denotator
newAddress
or null if address changed failspublic Morphism changeAddress(ModuleMorphism morphism)
Morphism
changeAddress
in class Morphism
morphism
- the address changing morphism
public RepresentableIdentityMorphism copy()
Morphism
copy
in class Morphism
public int compareTo(Morphism object)
compareTo
in interface java.lang.Comparable<Morphism>
compareTo
in class Morphism
public boolean equals(java.lang.Object object)
Morphism
equals
in class Morphism
public boolean fullEquals(Morphism m, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in class Morphism
public java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
Morphism
list
.
getFormDependencies
in class Morphism
public java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
Morphism
list
.
getDenotatorDependencies
in class Morphism
public java.lang.String toString()
toString
in class java.lang.Object
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
public Morphism fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
public java.lang.String getElementTypeName()
XMLInputOutput
public int hashCode()
Morphism
hashCode
in class IdentityMorphism
public int getMorphOrder()
Morphism
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |