org.eclipse.ocl.examples.library.executor
Class DomainProperties

java.lang.Object
  org.eclipse.ocl.examples.library.executor.DomainProperties

public class DomainProperties
extends java.lang.Object

Field Summary

protected DomainInheritance	inheritance
protected java.util.Map<java.lang.String,DomainProperty>	name2property

Constructor Summary

DomainProperties(DomainInheritance inheritance)

Method Summary

java.lang.Iterable<? extends DomainProperty>	getAllProperties(FeatureFilter featureFilter)
DomainProperty	getMemberProperty(java.lang.String name)
protected void	init(java.lang.Iterable<DomainFragment> allSuperFragments)

Methods inherited from class java.lang.Object

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

Field Detail

inheritance

@NonNull
protected final DomainInheritance inheritance

name2property

@NonNull
protected final java.util.Map<java.lang.String,DomainProperty> name2property

Constructor Detail

DomainProperties

public DomainProperties(@NonNull
                        DomainInheritance inheritance)

Method Detail

init

protected void init(@NonNull
                    java.lang.Iterable<DomainFragment> allSuperFragments)

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(@Nullable
                                                                             FeatureFilter featureFilter)

getMemberProperty

@Nullable
public DomainProperty getMemberProperty(@NonNull
                                                 java.lang.String name)