Dictionary.java

  1. /**
  2. * Copyright 2010,2021 Nikolas S Boyd.
  3. Permission is granted to copy this work provided this copyright statement is retained in all copies.

  5. */
  6. package Hoot.Collections;

  8. import Hoot.Runtime.Functions.*;
  9. import Hoot.Runtime.Faces.*;
  10. import Hoot.Runtime.Values.*;
  11. import Hoot.Runtime.Blocks.*;
  12. import Smalltalk.Core.*;
  13. import Smalltalk.Blocks.*;
  14. import Smalltalk.Magnitudes.*;
  15. import Hoot.Behaviors.*;
  16. import Hoot.Behaviors.Nil;
  17. import Hoot.Behaviors.Object;
  18. import Hoot.Behaviors.True;
  19. import Hoot.Behaviors.False;
  20. import Hoot.Behaviors.Boolean;
  21. import Hoot.Magnitudes.*;
  22. import Hoot.Magnitudes.Integer;
  23. import Hoot.Magnitudes.Character;
  24. import Hoot.Magnitudes.Float;
  25. import Hoot.Magnitudes.Double;
  26. import Hoot.Magnitudes.Integer;
  27. import Hoot.Streams.WriteStream;
  28. import Hoot.Runtime.Names.Primitive;
  29. import Smalltalk.Core.Posit;
  30. import Smalltalk.Core.Subject;
  31. import Smalltalk.Collections.*;
  32. import Smalltalk.Magnitudes.Ordinal;
  33. import Smalltalk.Magnitudes.Scalar;
  34. import Smalltalk.Magnitudes.Associated;

  36. public class Dictionary<KeyType extends Object, ElementType extends Object> extends Collection<ElementType> implements CollectedDictionary<KeyType, ElementType>
  37. {

  39.   public static Metaclass type() { return (Metaclass)Metaclass.$class; }
  40.   @Override public Metaclass $class() { return (Metaclass)Metaclass.$class; }
  41.   public static class Metaclass extends Collection.Metaclass implements CollectedDictionary.Metatype
  42.   {
  43.     static final Dictionary.Metaclass $class = new Dictionary.Metaclass();
  44.     public Metaclass() {
  45.       this(Dictionary.Metaclass.class);
  46.     }

  48.     public Metaclass(java.lang.Class aClass) {
  49.       super(aClass);
  50.     }

  52.     @Override public java.lang.Class outerClass() { return Dictionary.class; }


  55.     /**
  56.      * @return 
  57.      */
  58.     @Override public   Dictionary $new()
  59.     {
  60.       java.lang.String exitID = "DictionaryMetatype>>$new";
  61.       Frame f0 = new Frame(exitID);
  62.       return (Dictionary)this.$new(SmallInteger.from(10));
  63.     }

  65.     /**
  66.      * @return 
  67.      */
  68.     @Override public   Dictionary $new(final Ordinal capacity)
  69.     {
  70.       java.lang.String exitID = "DictionaryMetatype>>$new";
  71.       Frame f0 = new Frame(exitID);
  72.       return (Dictionary)new Dictionary(capacity);
  73.     }

  75.     /**
  76.      * @return 
  77.      */
  78.     public   Dictionary withAll(final CollectedDictionary pairedElements)
  79.     {
  80.       java.lang.String exitID = "DictionaryMetatype>>withAll";
  81.       Frame f0 = new Frame(exitID);
  82.       Dictionary results = this.$new(pairedElements.size());
  83.       pairedElements.keysAndValuesDo(Closure.with(f2 -> {
  84.         Object key = f2.getValue(0).value();
  85.         Object value = f2.getValue(1).value();
  86.         results.at_put(key, value);
  87.       }, "key", "value"));
  88.       return (Dictionary)results;
  89.     }

  91.     /**
  92.      * @return 
  93.      */
  94.     public   Dictionary from(final java.util.Map primitiveMap)
  95.     {
  96.       java.lang.String exitID = "DictionaryMetatype>>from";
  97.       Frame f0 = new Frame(exitID);
  98.       return (Dictionary)new Dictionary(primitiveMap);
  99.     }

  101.     /**
  102.      * @return 
  103.      */
  104.     public   Dictionary synchronizedFrom(final java.util.Map primitiveMap)
  105.     {
  106.       java.lang.String exitID = "DictionaryMetatype>>synchronizedFrom";
  107.       Frame f0 = new Frame(exitID);
  108.       return (Dictionary)this.from(primitiveMap);
  109.     }
  110.   }


  113.   protected java.util.Map<KeyType, ElementType> contents;

  115.   /**
  116.    * 
  117.    */
  118.   protected    Dictionary()
  119.   {
  120.     this(new java.util.HashMap());
  121.     java.lang.String exitID = "Dictionary>>Dictionary";
  122.     Frame f0 = new Frame(exitID);
  123.   }

  125.   /**
  126.    * 
  127.    */
  128.   protected    Dictionary(final Ordinal capacity)
  129.   {
  130.     this(new java.util.HashMap(capacity.intValue()));
  131.     java.lang.String exitID = "Dictionary>>Dictionary";
  132.     Frame f0 = new Frame(exitID);
  133.   }

  135.   /**
  136.    * 
  137.    */
  138.   protected    Dictionary(final java.util.Map primitiveMap)
  139.   {
  140.     java.lang.String exitID = "Dictionary>>Dictionary";
  141.     Frame f0 = new Frame(exitID);
  142.     contents=java.util.Collections.synchronizedMap(primitiveMap);
  143.   }

  145.   /**
  146.    * @return 
  147.    */
  148.   public   java.util.Map primitiveContents()
  149.   {
  150.     java.lang.String exitID = "Dictionary>>primitiveContents";
  151.     Frame f0 = new Frame(exitID);
  152.     return (java.util.Map)contents;
  153.   }

  155.   /**
  156.    * @return 
  157.    */
  158.   @Override public   Integer size()
  159.   {
  160.     java.lang.String exitID = "Dictionary>>size";
  161.     Frame f0 = new Frame(exitID);
  162.     return (Integer)SmallInteger.from(contents.size());
  163.   }

  165.   /**
  166.    * @return 
  167.    */
  168.   public   Set<KeyType> keys()
  169.   {
  170.     java.lang.String exitID = "Dictionary>>keys";
  171.     Frame f0 = new Frame(exitID);
  172.     return (Set<KeyType>)Set.from(contents.keySet());
  173.   }

  175.   /**
  176.    * @return 
  177.    */
  178.   public   KeyType indexOf(final ElementType element)
  179.   {
  180.     java.lang.String exitID = "Dictionary>>indexOf";
  181.     Frame f0 = new Frame(exitID);
  182.     return (KeyType)this.indexOf_ifAbsent(element, Closure.with(f2 -> {
  183.       this.elementNotFound();
  184.     return Nil.literal();
  185.     }, ""));
  186.   }

  188.   /**
  189.    * @return 
  190.    */
  191.   public   KeyType indexOf_ifAbsent(final ElementType element, final NiladicValuable aBlock)
  192.   {
  193.     java.lang.String exitID = "Dictionary>>indexOf_ifAbsent";
  194.     Frame f0 = new Frame(exitID);
  195.     KeyType key = Primitive.findKey(element, contents);
  196.     return (KeyType)(Boolean.primitiveValue((key == null)) ? aBlock.value() : key);
  197.   }

  199.   /**
  200.    * @return 
  201.    */
  202.   public   KeyType keyAtValue(final ElementType element)
  203.   {
  204.     java.lang.String exitID = "Dictionary>>keyAtValue";
  205.     Frame f0 = new Frame(exitID);
  206.     return (KeyType)this.indexOf(element);
  207.   }

  209.   /**
  210.    * @return 
  211.    */
  212.   public   KeyType keyAtValue_ifAbsent(final ElementType element, final NiladicValuable aBlock)
  213.   {
  214.     java.lang.String exitID = "Dictionary>>keyAtValue_ifAbsent";
  215.     Frame f0 = new Frame(exitID);
  216.     return (KeyType)this.indexOf_ifAbsent(element, aBlock);
  217.   }

  219.   /**
  220.    * @return 
  221.    */
  222.   public   ElementType at(final KeyType index)
  223.   {
  224.     java.lang.String exitID = "Dictionary>>at";
  225.     Frame f0 = new Frame(exitID);
  226.     if (contents.containsKey(index)) {
  227.       return contents.get(index);
  228.     };
  229.     this.elementNotFound();
  230.     return (ElementType)null;
  231.   }

  233.   /**
  234.    * @return 
  235.    */
  236.   public   ElementType at_ifAbsent(final KeyType index, final NiladicValuable aBlock)
  237.   {
  238.     java.lang.String exitID = "Dictionary>>at_ifAbsent";
  239.     Frame f0 = new Frame(exitID);
  240.     if (contents.containsKey(index)) {
  241.       return contents.get(index);
  242.     };
  243.     return (ElementType)aBlock.value();
  244.   }

  246.   /**
  247.    * @return 
  248.    */
  249.   public   ElementType at_ifAbsentPut(final KeyType index, final NiladicValuable aBlock)
  250.   {
  251.     java.lang.String exitID = "Dictionary>>at_ifAbsentPut";
  252.     Frame f0 = new Frame(exitID);
  253.     return (ElementType)this.at_ifAbsent(index, Closure.with(f2 -> {
  254.       return this.at_put(index, aBlock.value());
  255.     }, ""));
  256.   }

  258.   /**
  259.    * @return 
  260.    */
  261.   public   ElementType at_put(final KeyType index, final ElementType element)
  262.   {
  263.     java.lang.String exitID = "Dictionary>>at_put";
  264.     Frame f0 = new Frame(exitID);
  265.     contents.put(index, element);
  266.     return (ElementType)element;
  267.   }

  269.   /**
  270.    * @return 
  271.    */
  272.   public   ElementType atAll_put(final CollectedDistinctly<KeyType> indices, final ElementType element)
  273.   {
  274.     java.lang.String exitID = "Dictionary>>atAll_put";
  275.     Frame f0 = new Frame(exitID);
  276.     indices.$do(Closure.with(f2 -> {
  277.       KeyType key = f2.getValue(0).value();
  278.       return this.at_put(key, element);
  279.     }, "key"));
  280.     return (ElementType)element;
  281.   }

  283.   /**
  284.    * @return 
  285.    */
  286.   public   ElementType atAllPut(final ElementType element)
  287.   {
  288.     java.lang.String exitID = "Dictionary>>atAllPut";
  289.     Frame f0 = new Frame(exitID);
  290.     return (ElementType)this.atAll_put(this.keys(), element);
  291.   }

  293.   /**
  294.    * @return 
  295.    */
  296.   public   OrderedCollection<ElementType> values()
  297.   {
  298.     java.lang.String exitID = "Dictionary>>values";
  299.     Frame f0 = new Frame(exitID);
  300.     OrderedCollection<ElementType> results = OrderedCollection.type().$new(this.size());
  301.     this.keysAndValuesDo(Closure.with(f2 -> {
  302.       KeyType key = f2.getValue(0).value();
  303.       ElementType element = f2.getValue(1).value();
  304.       return results.add(element);
  305.     }, "key", "element"));
  306.     return (OrderedCollection<ElementType>)results;
  307.   }

  309.   /**
  310.    * @return 
  311.    */
  312.   public   ElementType add(final ElementType element)
  313.   {
  314.     java.lang.String exitID = "Dictionary>>add";
  315.     Frame f0 = new Frame(exitID);
  316.     return (ElementType)element;
  317.   }

  319.   /**
  320.    * @return 
  321.    */
  322.   public   Collected<ElementType> addAll(final Collected<ElementType> elements)
  323.   {
  324.     java.lang.String exitID = "Dictionary>>addAll";
  325.     Frame f0 = new Frame(exitID);
  326.     return (Collected<ElementType>)elements;
  327.   }

  329.   /**
  330.    * @return 
  331.    */
  332.   public   Association add(final Associated pairedElement)
  333.   {
  334.     java.lang.String exitID = "Dictionary>>add";
  335.     Frame f0 = new Frame(exitID);
  336.     this.at_put(pairedElement.key(), ((ElementType)pairedElement.value()));
  337.     return (Association)((Association)pairedElement);
  338.   }

  340.   /**
  341.    * @return 
  342.    */
  343.   public   CollectedDictionary addAll(final CollectedDictionary<KeyType, ElementType> pairedElements)
  344.   {
  345.     java.lang.String exitID = "Dictionary>>addAll";
  346.     Frame f0 = new Frame(exitID);
  347.     pairedElements.keysAndValuesDo(Closure.with(f2 -> {
  348.       KeyType key = f2.getValue(0).value();
  349.       ElementType element = f2.getValue(1).value();
  350.       return this.at_put(key, element);
  351.     }, "key", "element"));
  352.     return (CollectedDictionary)pairedElements;
  353.   }

  355.   /**
  356.    * @return 
  357.    */
  358.   public   Boolean equals(final Dictionary aCollection)
  359.   {
  360.     java.lang.String exitID = "Dictionary>>equals";
  361.     Frame f0 = new Frame(exitID);
  362.     return (Boolean)Boolean.from(contents.equals(aCollection.primitiveContents()));
  363.   }

  365.   /**
  366.    * @return 
  367.    */
  368.   @Override public   Boolean equals(final Collected aCollection)
  369.   {
  370.     java.lang.String exitID = "Dictionary>>equals";
  371.     Frame f0 = new Frame(exitID);
  372.     return (Boolean)Dictionary.type().accepts(aCollection).and(Predicate.with(f2 -> {
  373.       return (this.equals(((Dictionary)aCollection)));
  374.     }, ""));
  375.   }

  377.   /**
  378.    * @return 
  379.    */
  380.   @Override public   int hashCode()
  381.   {
  382.     java.lang.String exitID = "Dictionary>>hashCode";
  383.     Frame f0 = new Frame(exitID);
  384.     return (int)contents.hashCode();
  385.   }

  387.   /**
  388.    * @return 
  389.    */
  390.   public   Dictionary associationsDo(final MonadicValuable aBlock)
  391.   {
  392.     java.lang.String exitID = "Dictionary>>associationsDo";
  393.     Frame f0 = new Frame(exitID);
  394.     this.keysAndValuesDo(Closure.with(f2 -> {
  395.       KeyType key = f2.getValue(0).value();
  396.       ElementType element = f2.getValue(1).value();
  397.       return aBlock.value(Association.withKey_withValue(key, element));
  398.     }, "key", "element"));
  399.     return (Dictionary)this;
  400.   }

  402.   /**
  403.    * @return 
  404.    */
  405.   @Override public   Dictionary collect(final MonadicValuable aBlock)
  406.   {
  407.     java.lang.String exitID = "Dictionary>>collect";
  408.     Frame f0 = new Frame(exitID);
  409.     Dictionary results = Dictionary.type().$new(this.size());
  410.     this.keysAndValuesDo(Closure.with(f2 -> {
  411.       KeyType key = f2.getValue(0).value();
  412.       ElementType element = f2.getValue(1).value();
  413.       return results.at_put(key, aBlock.value(element));
  414.     }, "key", "element"));
  415.     return (Dictionary)results;
  416.   }

  418.   /**
  419.    * @return 
  420.    */
  421.   @Override public   Dictionary $do(final MonadicValuable aBlock)
  422.   {
  423.     java.lang.String exitID = "Dictionary>>$do";
  424.     Frame f0 = new Frame(exitID);
  425.     this.keysAndValuesDo(Closure.with(f2 -> {
  426.       KeyType key = f2.getValue(0).value();
  427.       ElementType element = f2.getValue(1).value();
  428.       return aBlock.value(element);
  429.     }, "key", "element"));
  430.     return (Dictionary)this;
  431.   }

  433.   /**
  434.    * @return 
  435.    */
  436.   public   Dictionary keysAndValuesDo(final DyadicValuable aBlock)
  437.   {
  438.     java.lang.String exitID = "Dictionary>>keysAndValuesDo";
  439.     Frame f0 = new Frame(exitID);
  440.     this.keys().$do(Closure.with(f2 -> {
  441.       Scalar key = f2.getValue(0).value();
  442.       return aBlock.value_value(key, contents.get(key));
  443.     }, "key"));
  444.     return (Dictionary)this;
  445.   }

  447.   /**
  448.    * @return 
  449.    */
  450.   public   Dictionary sortedKeysAndValuesDo(final DyadicValuable aBlock)
  451.   {
  452.     java.lang.String exitID = "Dictionary>>sortedKeysAndValuesDo";
  453.     Frame f0 = new Frame(exitID);
  454.     this.keys().sorted().$do(Closure.with(f2 -> {
  455.       Scalar key = f2.getValue(0).value();
  456.       return aBlock.value_value(key, contents.get(key));
  457.     }, "key"));
  458.     return (Dictionary)this;
  459.   }

  461.   /**
  462.    * @return 
  463.    */
  464.   public   Dictionary keysDo(final MonadicValuable aBlock)
  465.   {
  466.     java.lang.String exitID = "Dictionary>>keysDo";
  467.     Frame f0 = new Frame(exitID);
  468.     this.keysAndValuesDo(Closure.with(f2 -> {
  469.       KeyType key = f2.getValue(0).value();
  470.       ElementType element = f2.getValue(1).value();
  471.       return aBlock.value(key);
  472.     }, "key", "element"));
  473.     return (Dictionary)this;
  474.   }

  476.   /**
  477.    * @return 
  478.    */
  479.   public   Dictionary valuesDo(final MonadicValuable aBlock)
  480.   {
  481.     java.lang.String exitID = "Dictionary>>valuesDo";
  482.     Frame f0 = new Frame(exitID);
  483.     this.keysAndValuesDo(Closure.with(f2 -> {
  484.       KeyType key = f2.getValue(0).value();
  485.       ElementType element = f2.getValue(1).value();
  486.       return aBlock.value(element);
  487.     }, "key", "element"));
  488.     return (Dictionary)this;
  489.   }

  491.   /**
  492.    * @return 
  493.    */
  494.   @Override public   Dictionary reject(final MonadicPredicate aBlock)
  495.   {
  496.     java.lang.String exitID = "Dictionary>>reject";
  497.     Frame f0 = new Frame(exitID);
  498.     Dictionary results = Dictionary.type().$new(this.size());
  499.     this.keysAndValuesDo(Closure.with(f2 -> {
  500.       KeyType key = f2.getValue(0).value();
  501.       ElementType element = f2.getValue(1).value();
  502.       return aBlock.value(element).ifFalse(Closure.with(f3 -> {
  503.       return results.at_put(key, element);
  504.     }, ""));
  505.     }, "key", "element"));
  506.     return (Dictionary)results;
  507.   }

  509.   /**
  510.    * @return 
  511.    */
  512.   @Override public   Dictionary select(final MonadicPredicate aBlock)
  513.   {
  514.     java.lang.String exitID = "Dictionary>>select";
  515.     Frame f0 = new Frame(exitID);
  516.     Dictionary results = Dictionary.type().$new(this.size());
  517.     this.keysAndValuesDo(Closure.with(f2 -> {
  518.       KeyType key = f2.getValue(0).value();
  519.       ElementType element = f2.getValue(1).value();
  520.       return aBlock.value(element).ifTrue(Closure.with(f3 -> {
  521.       return results.at_put(key, element);
  522.     }, ""));
  523.     }, "key", "element"));
  524.     return (Dictionary)results;
  525.   }

  527.   /**
  528.    * @return 
  529.    */
  530.   public   Dictionary removeAll()
  531.   {
  532.     java.lang.String exitID = "Dictionary>>removeAll";
  533.     Frame f0 = new Frame(exitID);
  534.     contents.clear();
  535.     return (Dictionary)this;
  536.   }

  538.   /**
  539.    * @return 
  540.    */
  541.   public   ElementType removeKey(final KeyType key)
  542.   {
  543.     java.lang.String exitID = "Dictionary>>removeKey";
  544.     Frame f0 = new Frame(exitID);
  545.     return (ElementType)this.removeKey_ifAbsent(key, Closure.with(f2 -> {
  546.       this.elementNotFound();
  547.     return Nil.literal();
  548.     }, ""));
  549.   }

  551.   /**
  552.    * @return 
  553.    */
  554.   public   ElementType removeKey_ifAbsent(final KeyType key, final NiladicValuable aBlock)
  555.   {
  556.     java.lang.String exitID = "Dictionary>>removeKey_ifAbsent";
  557.     Frame f0 = new Frame(exitID);
  558.     ElementType result = this.at_ifAbsent(key, aBlock);
  559.     contents.remove(key);
  560.     return (ElementType)result;
  561.   }

  563.   /**
  564.    * @return 
  565.    */
  566.   public   Dictionary removeAllKeys(final CollectedDistinctly<KeyType> keys)
  567.   {
  568.     java.lang.String exitID = "Dictionary>>removeAllKeys";
  569.     Frame f0 = new Frame(exitID);
  570.     return f0.evaluate(() -> {
  571.     this.removeAllKeys_ifAbsent(keys, Closure.with(f2 -> {
  572.       this.elementNotFound();
  573.     return (Dictionary)f0.exit(exitID, Nil.literal().asPrimitive());
  574.     }, ""));
  575.     return (Dictionary)this;
  576.     });
  577.   }

  579.   /**
  580.    * @return 
  581.    */
  582.   public   Dictionary removeAllKeys_ifAbsent(final CollectedDistinctly<KeyType> keys, final MonadicValuable aBlock)
  583.   {
  584.     java.lang.String exitID = "Dictionary>>removeAllKeys_ifAbsent";
  585.     Frame f0 = new Frame(exitID);
  586.     Dictionary results = Dictionary.type().$new(this.size());
  587.     keys.$do(Closure.with(f2 -> {
  588.       KeyType key = f2.getValue(0).value();
  589.       results.at_put(key, this.removeKey_ifAbsent(key, Closure.with(f3 -> {
  590.       return aBlock.value(key);
  591.     }, "")));
  592.     }, "key"));
  593.     return (Dictionary)results;
  594.   }

  596.   /**
  597.    * @return 
  598.    */
  599.   public   ElementType remove(final ElementType element)
  600.   {
  601.     java.lang.String exitID = "Dictionary>>remove";
  602.     Frame f0 = new Frame(exitID);
  603.     return (ElementType)this.remove_ifAbsent(element, Closure.with(f2 -> {
  604.       this.elementNotFound();
  605.     return Nil.literal();
  606.     }, ""));
  607.   }

  609.   /**
  610.    * @return 
  611.    */
  612.   public   ElementType remove_ifAbsent(final ElementType element, final NiladicValuable aBlock)
  613.   {
  614.     java.lang.String exitID = "Dictionary>>remove_ifAbsent";
  615.     Frame f0 = new Frame(exitID);
  616.     return (ElementType)this.removeKey(this.keyAtValue_ifAbsent(element, aBlock));
  617.   }

  619.   /**
  620.    * @return 
  621.    */
  622.   public   Collected<ElementType> removeAll(final Collected<ElementType> elements)
  623.   {
  624.     java.lang.String exitID = "Dictionary>>removeAll";
  625.     Frame f0 = new Frame(exitID);
  626.     elements.$do(Closure.with(f2 -> {
  627.       ElementType element = f2.getValue(0).value();
  628.       
  629.     KeyType key = this.keyAtValue(element);
  630.     return key.notNil().ifTrue(Closure.with(f3 -> {
  631.       return this.removeKey(key);
  632.     }, ""));
  633.     }, "element"));
  634.     return (Collected<ElementType>)elements;
  635.   }

  637.   /**
  638.    * @return 
  639.    */
  640.   public   OrderedCollection<ElementType> removeAllSuchThat(final MonadicPredicate criteria)
  641.   {
  642.     java.lang.String exitID = "Dictionary>>removeAllSuchThat";
  643.     Frame f0 = new Frame(exitID);
  644.     OrderedCollection<ElementType> results = OrderedCollection.type().$new();
  645.     this.valuesDo(Closure.with(f2 -> {
  646.       ElementType element = f2.getValue(0).value();
  647.       return criteria.value(element).ifTrue(Closure.with(f3 -> {
  648.       results.add(element);
  649.     this.removeKey(this.keyAtValue(element));
  650.     }, ""));
  651.     }, "element"));
  652.     return (OrderedCollection<ElementType>)results;
  653.   }

  655.   /**
  656.    * @return 
  657.    */
  658.   @Override public   Boolean includes(final Subject element)
  659.   {
  660.     java.lang.String exitID = "Dictionary>>includes";
  661.     Frame f0 = new Frame(exitID);
  662.     return (Boolean)Boolean.from(contents.containsValue(((ElementType)element)));
  663.   }

  665.   /**
  666.    * @return 
  667.    */
  668.   public   Boolean includesIndex(final KeyType index)
  669.   {
  670.     java.lang.String exitID = "Dictionary>>includesIndex";
  671.     Frame f0 = new Frame(exitID);
  672.     return (Boolean)Boolean.from(contents.containsKey(index));
  673.   }

  675.   /**
  676.    * @return 
  677.    */
  678.   public   Posit includesKey(final KeyType key)
  679.   {
  680.     java.lang.String exitID = "Dictionary>>includesKey";
  681.     Frame f0 = new Frame(exitID);
  682.     return (Posit)this.includesIndex(key);
  683.   }
  684. }
Created with JaCoCo 0.8.10.202304240956