Package de.uni_marburg.mdo_over.model

Class Span

java.lang.Object

de.uni_marburg.mdo_over.model.Span

public class Span
extends Object

Constructor Summary

Constructors

Constructor	Description
Span(ModelGraphMapping domainToFirstCodomain, ModelGraphMapping domainToSecondCodomain)

Method Summary

Modifier and Type	Method	Description
void	calculatePushout()	Calculates the pushout and the mappings to it from the codomains of the current span.
ModelGraph	getDomain()
ModelGraphMapping	getDomainToFirstCodomain()
ModelGraphMapping	getDomainToSecondCodomain()
ModelGraph	getFirstCodomain()
ModelGraphMapping	getFirstCodomainToPushout()	Returns the mapping from the first codomain to the pushout.
ModelGraph	getPushout()	Returns the pushout graph for the span.
ModelGraph	getSecondCodomain()
ModelGraphMapping	getSecondCodomainToPushout()	Returns the mapping from the second codomain to the pushout.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Span

public Span(ModelGraphMapping domainToFirstCodomain,
            ModelGraphMapping domainToSecondCodomain)

Method Detail

getPushout

public ModelGraph getPushout()
                      throws GraphManipulationException

Returns the pushout graph for the span. Calculates the pushout if no pushout has been calculated, yet.

Returns:

the pushout graph

Throws:

GraphManipulationException - thrown if a valid pushout graph could not be constructed

getFirstCodomainToPushout

public ModelGraphMapping getFirstCodomainToPushout()
                                            throws GraphManipulationException

Returns the mapping from the first codomain to the pushout. Calculates the pushout if no pushout has been calculated, yet.

Returns:

mapping from the first codomain to the pushout

Throws:

GraphManipulationException - thrown if a valid pushout graph could not be constructed

getSecondCodomainToPushout

public ModelGraphMapping getSecondCodomainToPushout()
                                             throws GraphManipulationException

Returns the mapping from the second codomain to the pushout. Calculates the pushout if no pushout has been calculated, yet.

Returns:

mapping from the second codomain to the pushout

Throws:

GraphManipulationException - thrown if a valid pushout graph could not be constructed

calculatePushout

public void calculatePushout()
                      throws GraphManipulationException

Calculates the pushout and the mappings to it from the codomains of the current span.

Throws:

GraphManipulationException - thrown if a valid pushout graph could not be constructed

getFirstCodomain

public ModelGraph getFirstCodomain()

getSecondCodomain

public ModelGraph getSecondCodomain()

getDomain

public ModelGraph getDomain()

getDomainToFirstCodomain

public ModelGraphMapping getDomainToFirstCodomain()

getDomainToSecondCodomain

public ModelGraphMapping getDomainToSecondCodomain()