polyglot.ext.coffer.types
Class KeySet_c
java.lang.Object
polyglot.ext.jl.types.TypeObject_c
polyglot.ext.coffer.types.KeySet_c
- All Implemented Interfaces:
- java.lang.Cloneable, Copy, KeySet, java.io.Serializable, TypeObject
- public class KeySet_c
- extends TypeObject_c
- implements KeySet
- See Also:
- Serialized Form
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.util.Copy |
copy |
KeySet_c
public KeySet_c(TypeSystem ts,
Position pos)
size
public int size()
- Specified by:
size in interface KeySet
iterator
public java.util.Iterator iterator()
- Specified by:
iterator in interface KeySet
contains
public boolean contains(Key key)
- Specified by:
contains in interface KeySet
add
public KeySet add(Key key)
- Specified by:
add in interface KeySet
remove
public KeySet remove(Key key)
- Specified by:
remove in interface KeySet
addAll
public KeySet addAll(KeySet keys)
- Specified by:
addAll in interface KeySet
removeAll
public KeySet removeAll(KeySet keys)
- Specified by:
removeAll in interface KeySet
retainAll
public KeySet retainAll(KeySet keys)
- Specified by:
retainAll in interface KeySet
containsAll
public boolean containsAll(KeySet keys)
- Specified by:
containsAll in interface KeySet
equalsImpl
public boolean equalsImpl(TypeObject o)
- Description copied from interface:
TypeObject
- Return true iff this type object is the same as
t.
All Polyglot extensions should attempt to maintain pointer
equality between TypeObjects. If this cannot be done,
extensions can override TypeObject_c.equalsImpl(), and
don't forget to override hashCode().
- Specified by:
equalsImpl in interface TypeObject- Overrides:
equalsImpl in class TypeObject_c
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty in interface KeySet
isCanonical
public boolean isCanonical()
- Description copied from interface:
TypeObject
- Return true if the type object contains no unknown/ambiguous types.
- Specified by:
isCanonical in interface TypeObject
toString
public java.lang.String toString()