|
|||||||||
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.ProperIdentityMorphism
public final class ProperIdentityMorphism
Morphism of an "object" that is not representable. For "module objects", RepresentableIdentityMorphism is used. The "object" is represented by a diagram.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
ProperIdentityMorphism(Diagram diagram,
int type)
Creates an identity morphism with the specified diagram of the given type. |
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)
|
ProperIdentityMorphism |
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)
|
Diagram |
getCodomainDiagram()
Returns the codomain diagram of this morphism. |
Module |
getCodomainModule()
Returns the codomain module of this morphism. |
int |
getCodomainType()
Returns the codomain denotator type of this morphism. |
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. |
Diagram |
getDomainDiagram()
Returns the domain diagram of this morphism. |
Module |
getDomainModule()
Returns the domain module of this morphism. |
int |
getDomainType()
Returns the domain denotator type of this 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 . |
Module |
getModule()
Returns the module of this identity morphism. |
int |
getType()
Returns the type of this identity morphism. |
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, getDomain, 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 ProperIdentityMorphism(Diagram diagram, int type)
Method Detail |
---|
public Diagram getDiagram()
IdentityMorphism
getDiagram
in class IdentityMorphism
public Module getModule()
IdentityMorphism
getModule
in class IdentityMorphism
public int getType()
IdentityMorphism
getType
in class IdentityMorphism
public Diagram getDomainDiagram()
Morphism
getDomainDiagram
in class IdentityMorphism
public Diagram getCodomainDiagram()
Morphism
getCodomainDiagram
in class IdentityMorphism
public Module getDomainModule()
Morphism
getDomainModule
in class IdentityMorphism
public Module getCodomainModule()
Morphism
getCodomainModule
in class IdentityMorphism
public int getDomainType()
Morphism
getDomainType
in class IdentityMorphism
public int getCodomainType()
Morphism
getCodomainType
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 ProperIdentityMorphism copy()
Morphism
copy
in class Morphism
public boolean isRepresentable()
Morphism
isRepresentable
in class IdentityMorphism
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |