JLogMap (prolobjectlink-jpi-jlog 1.2-SNAPSHOT API)

java.lang.Object
- io.github.prolobjectlink.prolog.AbstractTerm
- - io.github.prolobjectlink.prolog.jlog.JLogMap

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologElement, io.github.prolobjectlink.prolog.PrologList, io.github.prolobjectlink.prolog.PrologMap, io.github.prolobjectlink.prolog.PrologTerm, Comparable<io.github.prolobjectlink.prolog.PrologTerm>, Iterable<io.github.prolobjectlink.prolog.PrologTerm>, Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
```
public final class JLogMap
extends io.github.prolobjectlink.prolog.AbstractTerm
implements io.github.prolobjectlink.prolog.PrologMap
```
A PrologTerm that maps PrologTerm keys to PrologTerm values. A map cannot contain duplicate keys. Each key can map to at most one value.

Since:

1.1

Author:

Jose Zalacain

Nested Class Summary
- Nested classes/interfaces inherited from interface java.util.Map
  Map.Entry<K,V>

Field Summary

Fields
Modifier and Type Field and Description

protected ubc.cs.JLog.Terms.jTerm value

protected static int vIdexer

protected int vIndex
- Fields inherited from class io.github.prolobjectlink.prolog.AbstractTerm
  provider, type

Fields
Modifier and Type	Field and Description
`protected ubc.cs.JLog.Terms.jTerm`	`value`
`protected static int`	`vIdexer`
`protected int`	`vIndex`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected ubc.cs.JLog.Terms.jCompoundTerm`	`adaptCompound(io.github.prolobjectlink.prolog.PrologTerm[] arguments)`
`protected ubc.cs.JLog.Terms.jList`	`adaptList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)`
`void`	`clear()`
`int`	`compareTo(io.github.prolobjectlink.prolog.PrologTerm term)`
`boolean`	`contains(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)`
`boolean`	`containsKey(Object key)`
`boolean`	`containsValue(Object value)`
`Set<Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>>`	`entrySet()`
`boolean`	`equals(Object obj)`
`io.github.prolobjectlink.prolog.PrologTerm`	`get(Object key)`
`io.github.prolobjectlink.prolog.PrologTerm`	`getArgument(int index)`
`io.github.prolobjectlink.prolog.PrologTerm[]`	`getArguments()`
`int`	`getArity()`
`String`	`getFunctor()`
`io.github.prolobjectlink.prolog.PrologTerm`	`getHead()`
`io.github.prolobjectlink.prolog.PrologTerm`	`getTail()`
`io.github.prolobjectlink.prolog.PrologTerm`	`getTerm()`
`int`	`hashCode()`
`boolean`	`isAtom()`
`boolean`	`isAtomic()`
`boolean`	`isCompound()`
`boolean`	`isDouble()`
`boolean`	`isEmpty()`
`boolean`	`isEmptyList()`
`boolean`	`isEvaluable()`
`boolean`	`isFalseType()`
`boolean`	`isFloat()`
`boolean`	`isInteger()`
`boolean`	`isList()`
`boolean`	`isLong()`
`boolean`	`isNil()`
`boolean`	`isNullType()`
`boolean`	`isNumber()`
`boolean`	`isObjectType()`
`boolean`	`isReference()`
`boolean`	`isStructure()`
`boolean`	`isTrueType()`
`boolean`	`isVariable()`
`boolean`	`isVariableBound()` Check if Variable and bound.
`boolean`	`isVariableNotBound()` Check if current variable is not bound.
`boolean`	`isVoidType()`
`Iterator<io.github.prolobjectlink.prolog.PrologTerm>`	`iterator()`
`Set<io.github.prolobjectlink.prolog.PrologTerm>`	`keySet()`
`void`	`put(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)`
`io.github.prolobjectlink.prolog.PrologTerm`	`put(io.github.prolobjectlink.prolog.PrologTerm key, io.github.prolobjectlink.prolog.PrologTerm value)`
`void`	`putAll(Collection<Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>> entries)`
`void`	`putAll(Map<? extends io.github.prolobjectlink.prolog.PrologTerm,? extends io.github.prolobjectlink.prolog.PrologTerm> m)`
`void`	`remove(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)`
`io.github.prolobjectlink.prolog.PrologTerm`	`remove(Object key)`
`int`	`size()`
`String`	`toString()`
`boolean`	`unify(io.github.prolobjectlink.prolog.PrologTerm term)`
`Collection<io.github.prolobjectlink.prolog.PrologTerm>`	`values()`

Methods inherited from class io.github.prolobjectlink.prolog.AbstractTerm
cast, cast, cast, checkIndex, checkIndex, fromTerm, fromTermArray, getIndicator, getLogger, getObject, getProvider, getType, hasIndicator, isClass, isClause, isEntry, isField, isMap, isMixin, isParameter, isResult, isTerm, match, removeQuoted, toTerm, toTermArray

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm
cast, getIndicator, getObject, getProvider, getType, hasIndicator, isAtom, isAtomic, isClass, isDouble, isEmptyList, isEntry, isFalseType, isField, isFloat, isInteger, isList, isLong, isMap, isMixin, isNil, isNullType, isNumber, isObjectType, isParameter, isReference, isResult, isStructure, isTrueType, isVariable, isVariableBound, isVariableNotBound, isVoidType, match, unify

Methods inherited from interface java.lang.Comparable
compareTo

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement
isClause, isTerm

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Methods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

- Field Detail
  - vIndex
```
protected int vIndex
```
  - value
```
protected ubc.cs.JLog.Terms.jTerm value
```
  - vIdexer
```
protected static int vIdexer
```
- Method Detail
  - getFunctor
```
public String getFunctor()
```
    Specified by:
    
    getFunctor in interface io.github.prolobjectlink.prolog.PrologTerm
  - getArguments
```
public io.github.prolobjectlink.prolog.PrologTerm[] getArguments()
```
    Specified by:
    
    getArguments in interface io.github.prolobjectlink.prolog.PrologTerm
  - getArgument
```
public io.github.prolobjectlink.prolog.PrologTerm getArgument(int index)
```
    Specified by:
    
    getArgument in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    getArgument in class io.github.prolobjectlink.prolog.AbstractTerm
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - toString
```
public String toString()
```
  - iterator
```
public Iterator<io.github.prolobjectlink.prolog.PrologTerm> iterator()
```
    Specified by:
    
    iterator in interface Iterable<io.github.prolobjectlink.prolog.PrologTerm>
  - getHead
```
public io.github.prolobjectlink.prolog.PrologTerm getHead()
```
    Specified by:
    
    getHead in interface io.github.prolobjectlink.prolog.PrologList
  - getTail
```
public io.github.prolobjectlink.prolog.PrologTerm getTail()
```
    Specified by:
    
    getTail in interface io.github.prolobjectlink.prolog.PrologList
  - putAll
```
public void putAll(Collection<Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>> entries)
```
    Specified by:
    
    putAll in interface io.github.prolobjectlink.prolog.PrologMap
  - contains
```
public boolean contains(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)
```
    Specified by:
    
    contains in interface io.github.prolobjectlink.prolog.PrologMap
  - remove
```
public void remove(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)
```
    Specified by:
    
    remove in interface io.github.prolobjectlink.prolog.PrologMap
  - put
```
public void put(Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> entry)
```
    Specified by:
    
    put in interface io.github.prolobjectlink.prolog.PrologMap
  - put
```
public io.github.prolobjectlink.prolog.PrologTerm put(io.github.prolobjectlink.prolog.PrologTerm key,
                                                      io.github.prolobjectlink.prolog.PrologTerm value)
```
    Specified by:
    
    put in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - entrySet
```
public Set<Map.Entry<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>> entrySet()
```
    Specified by:
    
    entrySet in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - containsKey
```
public boolean containsKey(Object key)
```
    Specified by:
    
    containsKey in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - containsValue
```
public boolean containsValue(Object value)
```
    Specified by:
    
    containsValue in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - get
```
public io.github.prolobjectlink.prolog.PrologTerm get(Object key)
```
    Specified by:
    
    get in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - remove
```
public io.github.prolobjectlink.prolog.PrologTerm remove(Object key)
```
    Specified by:
    
    remove in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - putAll
```
public void putAll(Map<? extends io.github.prolobjectlink.prolog.PrologTerm,? extends io.github.prolobjectlink.prolog.PrologTerm> m)
```
    Specified by:
    
    putAll in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - keySet
```
public Set<io.github.prolobjectlink.prolog.PrologTerm> keySet()
```
    Specified by:
    
    keySet in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - values
```
public Collection<io.github.prolobjectlink.prolog.PrologTerm> values()
```
    Specified by:
    
    values in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface io.github.prolobjectlink.prolog.PrologList
    
    Specified by:
    
    isEmpty in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface io.github.prolobjectlink.prolog.PrologList
    
    Specified by:
    
    clear in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - size
```
public int size()
```
    Specified by:
    
    size in interface io.github.prolobjectlink.prolog.PrologList
    
    Specified by:
    
    size in interface Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm>
  - getArity
```
public int getArity()
```
    Specified by:
    
    getArity in interface io.github.prolobjectlink.prolog.PrologTerm
  - getTerm
```
public io.github.prolobjectlink.prolog.PrologTerm getTerm()
```
    Specified by:
    
    getTerm in interface io.github.prolobjectlink.prolog.PrologTerm
  - isEvaluable
```
public boolean isEvaluable()
```
    Specified by:
    
    isEvaluable in interface io.github.prolobjectlink.prolog.PrologTerm
  - isCompound
```
public boolean isCompound()
```
    Specified by:
    
    isCompound in interface io.github.prolobjectlink.prolog.PrologTerm
  - adaptList
```
protected final ubc.cs.JLog.Terms.jList adaptList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
```
  - adaptCompound
```
protected final ubc.cs.JLog.Terms.jCompoundTerm adaptCompound(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
```
  - isAtom
```
public final boolean isAtom()
```
    Specified by:
    
    isAtom in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNumber
```
public final boolean isNumber()
```
    Specified by:
    
    isNumber in interface io.github.prolobjectlink.prolog.PrologTerm
  - isFloat
```
public final boolean isFloat()
```
    Specified by:
    
    isFloat in interface io.github.prolobjectlink.prolog.PrologTerm
  - isDouble
```
public final boolean isDouble()
```
    Specified by:
    
    isDouble in interface io.github.prolobjectlink.prolog.PrologTerm
  - isInteger
```
public final boolean isInteger()
```
    Specified by:
    
    isInteger in interface io.github.prolobjectlink.prolog.PrologTerm
  - isLong
```
public final boolean isLong()
```
    Specified by:
    
    isLong in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVariable
```
public final boolean isVariable()
```
    Specified by:
    
    isVariable in interface io.github.prolobjectlink.prolog.PrologTerm
  - isList
```
public final boolean isList()
```
    Specified by:
    
    isList in interface io.github.prolobjectlink.prolog.PrologTerm
  - isStructure
```
public final boolean isStructure()
```
    Specified by:
    
    isStructure in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNil
```
public final boolean isNil()
```
    Specified by:
    
    isNil in interface io.github.prolobjectlink.prolog.PrologTerm
  - isEmptyList
```
public final boolean isEmptyList()
```
    Specified by:
    
    isEmptyList in interface io.github.prolobjectlink.prolog.PrologTerm
  - isAtomic
```
public final boolean isAtomic()
```
    Specified by:
    
    isAtomic in interface io.github.prolobjectlink.prolog.PrologTerm
  - isTrueType
```
public final boolean isTrueType()
```
    Specified by:
    
    isTrueType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isFalseType
```
public final boolean isFalseType()
```
    Specified by:
    
    isFalseType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNullType
```
public final boolean isNullType()
```
    Specified by:
    
    isNullType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVoidType
```
public final boolean isVoidType()
```
    Specified by:
    
    isVoidType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isObjectType
```
public final boolean isObjectType()
```
    Specified by:
    
    isObjectType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isReference
```
public final boolean isReference()
```
    Specified by:
    
    isReference in interface io.github.prolobjectlink.prolog.PrologTerm
  - unify
```
public final boolean unify(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    unify in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVariableBound
```
public final boolean isVariableBound()
```
    Check if Variable and bound. A variable bound is synonym of not free variable because this variable have instance value.
    
    Specified by:
    
    isVariableBound in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    isVariableBound in class io.github.prolobjectlink.prolog.AbstractTerm
    
    Returns:
    
    true if Variable and bound.
  - isVariableNotBound
```
public final boolean isVariableNotBound()
```
    Check if current variable is not bound. A variable not bound is synonym of free variable because this variable don't have instance value.
    
    Specified by:
    
    isVariableNotBound in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    isVariableNotBound in class io.github.prolobjectlink.prolog.AbstractTerm
    
    Returns:
    
    true if Variable and not bound.
  - compareTo
```
public final int compareTo(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    compareTo in interface Comparable<io.github.prolobjectlink.prolog.PrologTerm>

Class JLogMap

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.AbstractTerm

Method Summary

Methods inherited from class io.github.prolobjectlink.prolog.AbstractTerm

Methods inherited from class java.lang.Object

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm

Methods inherited from interface java.lang.Comparable

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.Map

Field Detail

vIndex

value

vIdexer

Method Detail

getFunctor

getArguments

getArgument

hashCode

equals

toString

iterator

getHead

getTail

putAll

contains

remove

put

put

entrySet

containsKey

containsValue

get

remove

putAll

keySet

values

isEmpty

clear

size

getArity

getTerm

isEvaluable

isCompound

adaptList

adaptCompound

isAtom

isNumber

isFloat

isDouble

isInteger

isLong

isVariable

isList

isStructure

isNil

isEmptyList

isAtomic

isTrueType

isFalseType

isNullType

isVoidType

isObjectType

isReference

unify

isVariableBound

isVariableNotBound

compareTo