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

Class Retyping

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.ClassifierTypedConstruct

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

All Implemented Interfaces:

ModuleElement, EquivalenceFactory, TypeMappingConstruct

public class Retyping
extends ClassifierTypedConstruct
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, module, parent, region, uri

Constructor Summary

Constructors

Constructor	Description
Retyping()

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(java.lang.Object object)
java.lang.String	getEvolvedType()
int	hashCode()
java.lang.String	toString()

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

appliesIn, check, getOriginalType, isStrict, typedFor

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

getGuard

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

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

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

getChildren, getComments, 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, 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

Retyping

public Retyping()

Method Detail

build

public void build(AST cst,
                  IModule module)

Specified by:

build in interface ModuleElement

Overrides:

build in class ClassifierTypedConstruct

getEvolvedType

public java.lang.String getEvolvedType()

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 java.lang.String toString()

Overrides:

toString in class AbstractModuleElement

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class ClassifierTypedConstruct

hashCode

public int hashCode()

Overrides:

hashCode in class ClassifierTypedConstruct