Class OCLOperations.UniqueResolveList

  • All Implemented Interfaces:
    java.lang.Iterable<java.lang.Object>, java.util.Collection<java.lang.Object>, java.util.List<java.lang.Object>, org.eclipse.emf.common.util.EList<java.lang.Object>
    Enclosing class:
    OCLOperations

    public static class OCLOperations.UniqueResolveList
    extends OCLOperations.ResolveList
    LazyList that resolves unique trace links within a given traced rule.
    • Constructor Detail

      • UniqueResolveList

        public UniqueResolveList​(java.util.Collection<java.lang.Object> dataSource,
                                 StackFrame frame,
                                 java.lang.String rule)
        Creates a new OCLOperations.UniqueResolveList around dataSource.
        Parameters:
        dataSource - he underlying collection
        frame - the current StackFrame
        rule - the name of the rule to resolve the unique traces for
    • Method Detail

      • iterator

        public java.util.Iterator<java.lang.Object> iterator()
        Specified by:
        iterator in interface java.util.Collection<java.lang.Object>
        Specified by:
        iterator in interface java.lang.Iterable<java.lang.Object>
        Specified by:
        iterator in interface java.util.List<java.lang.Object>
        Overrides:
        iterator in class OCLOperations.ResolveList