Package org.eclipse.epsilon.flock.model.domain.typemappings

Class PackageRetyping

java.lang.Object

org.eclipse.epsilon.common.module.AbstractModuleElement

org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

org.eclipse.epsilon.flock.model.domain.common.FlockConstruct

org.eclipse.epsilon.flock.model.domain.common.GuardedConstruct

org.eclipse.epsilon.flock.model.domain.common.PackageTypedConstruct

org.eclipse.epsilon.flock.model.domain.typemappings.PackageRetyping

All Implemented Interfaces:

ModuleElement, EquivalenceFactory, TypeMappingConstruct

public class PackageRetyping
extends PackageTypedConstruct
implements TypeMappingConstruct

Field Summary

Fields inherited from class org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

annotationBlock

Fields inherited from class org.eclipse.epsilon.common.module.AbstractModuleElement

children, comments, data, module, parent, region, uri

Constructor Summary

Constructors

Constructor	Description
PackageRetyping()

Method Summary

Modifier and Type	Method	Description
void	build(AST cst, IModule module)
Equivalence	createEquivalence(IEolContext context, FlockExecution execution, ModelElement original, EquivalenceEstablishmentContext.EquivalentFactory factory)
boolean	equals(Object object)
String	getEvolvedPackage()
int	hashCode()
String	toString()

Methods inherited from class org.eclipse.epsilon.flock.model.domain.common.PackageTypedConstruct

appliesIn, check, getOriginalPackage

Methods inherited from class org.eclipse.epsilon.flock.model.domain.common.GuardedConstruct

getGuard

Methods inherited from class org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

accept, getAnnotation, getAnnotationBlock, getAnnotations, getAnnotationsValues, getBooleanAnnotationValue, getBooleanAnnotationValue, getBooleanAnnotationValue, getBooleanAnnotationValue, hasAnnotation, setAnnotationBlock

Methods inherited from class org.eclipse.epsilon.common.module.AbstractModuleElement

getChildren, getComments, getData, getDebugInfo, getFile, getModule, getParent, getRegion, getUri, setModule, setParent, setRegion, setUri

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.epsilon.common.module.ModuleElement

getChildren, getComments, getData, getFile, getModule, getParent, getRegion, getUri, setModule, setParent, setRegion, setUri

Methods inherited from interface org.eclipse.epsilon.flock.model.domain.typemappings.TypeMappingConstruct

appliesIn, check

Constructor Detail

PackageRetyping

public PackageRetyping()

Method Detail

build

public void build(AST cst,
                  IModule module)

Specified by:

build in interface ModuleElement

Overrides:

build in class PackageTypedConstruct

getEvolvedPackage

public String getEvolvedPackage()

createEquivalence

public Equivalence createEquivalence(IEolContext context,
                                     FlockExecution execution,
                                     ModelElement original,
                                     EquivalenceEstablishmentContext.EquivalentFactory factory)
                              throws FlockRuntimeException

Specified by:

createEquivalence in interface EquivalenceFactory

Throws:

FlockRuntimeException

toString

public String toString()

Overrides:

toString in class AbstractModuleElement

equals

public boolean equals(Object object)

Overrides:

equals in class PackageTypedConstruct

hashCode

public int hashCode()

Overrides:

hashCode in class PackageTypedConstruct