|
|||||||||
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.CompoundMorphism
public final class CompoundMorphism
General morphism. A morphism is characterized by its domain, codomain and map. Domain and codomain are objects represented through identity morphisms.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
CompoundMorphism(IdentityMorphism domain,
IdentityMorphism codomain,
MorphismMap map)
Creates a morphism between two general objects. |
|
CompoundMorphism(Module domain,
IdentityMorphism codomain,
MorphismMap map)
Creates a morphism with a module domain and an arbitrary codomain. |
|
CompoundMorphism(Module domain,
Module codomain,
MorphismMap map)
Creates a morphism with module domain and codomain. |
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)
|
CompoundMorphism |
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)
|
IdentityMorphism |
getCodomain()
Returns the codomain identity morphism (object) of this morphism. |
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 . |
IdentityMorphism |
getDomain()
Returns the domain identity morphism (object) of this 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 . |
MorphismMap |
getMap()
Returns the implementation of this morphism. |
int |
hashCode()
Returns a hash code for this morphism. |
boolean |
resolveReferences(RubatoDictionary dict,
java.util.IdentityHashMap<?,?> history)
Resolve the references in this morphism resulting from parsing. |
void |
setMap(MorphismMap map)
Sets the implementation of this morphism. |
java.lang.String |
toString()
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.yoneda.Morphism |
---|
clone, isIdentity, isRepresentable |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public CompoundMorphism(IdentityMorphism domain, IdentityMorphism codomain, MorphismMap map)
public CompoundMorphism(Module domain, IdentityMorphism codomain, MorphismMap map)
public CompoundMorphism(Module domain, Module codomain, MorphismMap map)
Method Detail |
---|
public Diagram getDomainDiagram()
Morphism
getDomainDiagram
in class Morphism
public Diagram getCodomainDiagram()
Morphism
getCodomainDiagram
in class Morphism
public Module getDomainModule()
Morphism
getDomainModule
in class Morphism
public Module getCodomainModule()
Morphism
getCodomainModule
in class Morphism
public int getDomainType()
Morphism
getDomainType
in class Morphism
public int getCodomainType()
Morphism
getCodomainType
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 MorphismMap getMap()
Morphism
getMap
in class Morphism
public void setMap(MorphismMap map)
Morphism
setMap
in class Morphism
public Morphism at(ModuleElement element) throws MappingException
Morphism
element
.
at
in class Morphism
MappingException
- if evaluation failspublic CompoundMorphism copy()
Morphism
copy
in class Morphism
public IdentityMorphism getDomain()
Morphism
getDomain
in class Morphism
public IdentityMorphism getCodomain()
Morphism
getCodomain
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 Morphism
public boolean resolveReferences(RubatoDictionary dict, java.util.IdentityHashMap<?,?> history)
Morphism
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |