eu.bandm.tools.umod.runtime

Class Phrasebook<O,S>

java.lang.Object

eu.bandm.tools.umod.runtime.Phrasebook<O,S>

public abstract class Phrasebook<O,S>
extends Object

Converts from and to OpenMath.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	Phrasebook.FieldMap<T>

Field Summary

Fields

Modifier and Type	Field and Description
static String	cd The OpenMath content dictionary name of UMod
static String	cdUri The OpenMath content dictionary URI of UMod
protected Function<O,Boolean>	decode_bool
protected Function<O,Integer>	decode_int
protected Function<O,String>	decode_string
protected <any>	decoder
protected Function<Boolean,O>	encode_bool
protected Function<Integer,O>	encode_int
protected Function<String,O>	encode_string
protected <any>	encoder
protected S	symbol_false
protected S	symbol_LEFT
protected S	symbol_MAP
protected S	symbol_NODE
protected S	symbol_null
protected S	symbol_PAIR
protected S	symbol_RIGHT
protected S	symbol_SEQ
protected S	symbol_SET
protected S	symbol_true
protected S	symbol_UP

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Phrasebook(<any> encoder, <any> decoder)

Method Summary

Modifier and Type	Method and Description
protected <T> Function<List<T>,CheckedList<T>>	consCheckedList()
protected <T> Function<List<T>,CheckedList<T>>	consCheckedList(CheckedList.implementations i)
protected <K,V> Function<Map<K,V>,CheckedMap_D<K,V>>	consCheckedMap_D()
protected <K,V> Function<Map<K,V>,CheckedMap_R<K,V>>	consCheckedMap_R()
protected <K,V> Function<Map<K,V>,CheckedMap_RD<K,V>>	consCheckedMap_RD()
protected <T> Function<Set<T>,CheckedSet<T>>	consCheckedSet()
protected <T> Function<List<T>,List<T>>	consList()
protected <K,V> Function<Map<K,V>,Map<K,V>>	consMap()
protected <T,U> BiFunction<T,U,Pair_checkedLeft<T,U>>	consPair_checkedLeft()
protected <T,U> BiFunction<T,U,Pair_checkedRight<T,U>>	consPair_checkedRight()
protected <T,U> BiFunction<T,U,Pair<T,U>>	consPair()
protected <T> Function<Set<T>,Set<T>>	consSet()
protected <U> Function<O,CheckedList<U>>	decode_CheckedList(Function<? super O,? extends U> f)
protected <K,V> Function<O,CheckedMap_D<K,V>>	decode_CheckedMap_D(Function<? super O,? extends K> fkey, Function<? super O,? extends V> fval)
protected <K,V> Function<O,CheckedMap_R<K,V>>	decode_CheckedMap_R(Function<? super O,? extends K> fkey, Function<? super O,? extends V> fval)
protected <K,V> Function<O,CheckedMap_RD<K,V>>	decode_CheckedMap_RD(Function<? super O,? extends K> fkey, Function<? super O,? extends V> fval)
protected <U> Function<O,CheckedSet<U>>	decode_CheckedSet(Function<? super O,? extends U> f)
protected <T,U,V> Function<O,T>	decode_CoPair(Function<? super O,? extends U> f1, Function<? super O,? extends V> f2, Function<U,T> consLeft, Function<V,T> consRight)
protected <U> Function<O,List<U>>	decode_List(Function<? super O,? extends U> f)
protected <T> Function<O,T>	decode_OPT(Function<? super O,? extends T> f)
protected <T,U,V> Function<O,T>	decode_Pair(Function<? super O,? extends U> f1, Function<? super O,? extends V> f2, BiFunction<U,V,T> cons)
protected <U> Function<O,Set<U>>	decode_Set(Function<? super O,? extends U> f)
protected <T> T	decodeFields(List<? extends O> fields, T init, Map<String,? extends Consumer<? super O,? super T>> fs)
protected <T> T	decodeFields(List<? extends O> fields, T init, Phrasebook.FieldMap<T> map)
protected <T,U> Function<CoPair<T,U>,O>	encode_CoPair(Function<? super T,? extends O> f1, Function<? super U,? extends O> f2)
protected <K,V> Function<Map<K,V>,O>	encode_MAP(Function<? super K,? extends O> fkey, Function<? super V,? extends O> fval)
protected <T> Function<T,O>	encode_OPT(Function<? super T,? extends O> f)
protected <T,U> Function<Pair<T,U>,O>	encode_Pair(Function<? super T,? extends O> f1, Function<? super U,? extends O> f2)
protected <T> Function<List<T>,O>	encode_SEQ(Function<? super T,? extends O> f)
protected <T> Function<Set<T>,O>	encode_SET(Function<? super T,? extends O> f)
protected <T,U> Consumer<T,List<O>>	encodeField(String name, Function<? super T,? extends U> get, Function<? super U,O> encode)
protected <T> O	encodeNode(T node, String name, int size, Consumer<T,? super List<O>> fieldsEncoder) Encodes a node.
protected List<O>	matchNode(O node, String name)
protected boolean	matchSymbol(O term, S symbol)
protected List<O>	matchTerm(O term, S constructor)
protected O	pair(O arg1, O arg2)

Methods inherited from class java.lang.Object

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

Field Detail

cd

public static final String cd

The OpenMath content dictionary name of UMod

See Also:

Constant Field Values

cdUri

public static final String cdUri

The OpenMath content dictionary URI of UMod

See Also:

Constant Field Values

encoder

protected final <any> encoder

decoder

protected final <any> decoder

symbol_NODE

protected final S symbol_NODE

symbol_SEQ

protected final S symbol_SEQ

symbol_SET

protected final S symbol_SET

symbol_MAP

protected final S symbol_MAP

symbol_PAIR

protected final S symbol_PAIR

symbol_LEFT

protected final S symbol_LEFT

symbol_RIGHT

protected final S symbol_RIGHT

symbol_UP

protected final S symbol_UP

symbol_null

protected final S symbol_null

symbol_true

protected final S symbol_true

symbol_false

protected final S symbol_false

encode_int

protected final Function<Integer,O> encode_int

encode_string

protected Function<String,O> encode_string

encode_bool

protected final Function<Boolean,O> encode_bool

decode_int

protected final Function<O,Integer> decode_int

decode_string

protected final Function<O,String> decode_string

decode_bool

protected final Function<O,Boolean> decode_bool

Constructor Detail

Phrasebook

protected Phrasebook(<any> encoder,
                     <any> decoder)

Method Detail

encodeNode

protected <T> O encodeNode(T node,
                           String name,
                           int size,
                           Consumer<T,? super List<O>> fieldsEncoder)

Encodes a node.

Parameters:

node - the node

name - the model class name of the node

size - an estimate of the number of fields. Only used as an initial capacity for the collecting ArrayList.

fieldsEncoder - a consumer that adds fields encodings to a given list

encodeField

protected <T,U> Consumer<T,List<O>> encodeField(String name,
                                                Function<? super T,? extends U> get,
                                                Function<? super U,O> encode)

matchNode

protected List<O> matchNode(O node,
                            String name)

decodeFields

protected <T> T decodeFields(List<? extends O> fields,
                             T init,
                             Phrasebook.FieldMap<T> map)

decodeFields

protected <T> T decodeFields(List<? extends O> fields,
                             T init,
                             Map<String,? extends Consumer<? super O,? super T>> fs)

encode_SEQ

protected <T> Function<List<T>,O> encode_SEQ(Function<? super T,? extends O> f)

encode_SET

protected <T> Function<Set<T>,O> encode_SET(Function<? super T,? extends O> f)

encode_MAP

protected <K,V> Function<Map<K,V>,O> encode_MAP(Function<? super K,? extends O> fkey,
                                                Function<? super V,? extends O> fval)

encode_OPT

protected <T> Function<T,O> encode_OPT(Function<? super T,? extends O> f)

encode_Pair

protected <T,U> Function<Pair<T,U>,O> encode_Pair(Function<? super T,? extends O> f1,
                                                  Function<? super U,? extends O> f2)

encode_CoPair

protected <T,U> Function<CoPair<T,U>,O> encode_CoPair(Function<? super T,? extends O> f1,
                                                      Function<? super U,? extends O> f2)

decode_List

protected <U> Function<O,List<U>> decode_List(Function<? super O,? extends U> f)

decode_CheckedList

protected <U> Function<O,CheckedList<U>> decode_CheckedList(Function<? super O,? extends U> f)

decode_Set

protected <U> Function<O,Set<U>> decode_Set(Function<? super O,? extends U> f)

decode_CheckedSet

protected <U> Function<O,CheckedSet<U>> decode_CheckedSet(Function<? super O,? extends U> f)

decode_CheckedMap_D

protected <K,V> Function<O,CheckedMap_D<K,V>> decode_CheckedMap_D(Function<? super O,? extends K> fkey,
                                                                  Function<? super O,? extends V> fval)

decode_CheckedMap_R

protected <K,V> Function<O,CheckedMap_R<K,V>> decode_CheckedMap_R(Function<? super O,? extends K> fkey,
                                                                  Function<? super O,? extends V> fval)

decode_CheckedMap_RD

protected <K,V> Function<O,CheckedMap_RD<K,V>> decode_CheckedMap_RD(Function<? super O,? extends K> fkey,
                                                                    Function<? super O,? extends V> fval)

decode_OPT

protected <T> Function<O,T> decode_OPT(Function<? super O,? extends T> f)

decode_Pair

protected <T,U,V> Function<O,T> decode_Pair(Function<? super O,? extends U> f1,
                                            Function<? super O,? extends V> f2,
                                            BiFunction<U,V,T> cons)

decode_CoPair

protected <T,U,V> Function<O,T> decode_CoPair(Function<? super O,? extends U> f1,
                                              Function<? super O,? extends V> f2,
                                              Function<U,T> consLeft,
                                              Function<V,T> consRight)

consList

protected <T> Function<List<T>,List<T>> consList()

consCheckedList

protected <T> Function<List<T>,CheckedList<T>> consCheckedList()

consCheckedList

protected <T> Function<List<T>,CheckedList<T>> consCheckedList(CheckedList.implementations i)

consSet

protected <T> Function<Set<T>,Set<T>> consSet()

consCheckedSet

protected <T> Function<Set<T>,CheckedSet<T>> consCheckedSet()

consMap

protected <K,V> Function<Map<K,V>,Map<K,V>> consMap()

consCheckedMap_D

protected <K,V> Function<Map<K,V>,CheckedMap_D<K,V>> consCheckedMap_D()

consCheckedMap_R

protected <K,V> Function<Map<K,V>,CheckedMap_R<K,V>> consCheckedMap_R()

consCheckedMap_RD

protected <K,V> Function<Map<K,V>,CheckedMap_RD<K,V>> consCheckedMap_RD()

consPair

protected <T,U> BiFunction<T,U,Pair<T,U>> consPair()

consPair_checkedLeft

protected <T,U> BiFunction<T,U,Pair_checkedLeft<T,U>> consPair_checkedLeft()

consPair_checkedRight

protected <T,U> BiFunction<T,U,Pair_checkedRight<T,U>> consPair_checkedRight()

matchTerm

protected List<O> matchTerm(O term,
                            S constructor)

matchSymbol

protected boolean matchSymbol(O term,
                              S symbol)

pair

protected O pair(O arg1,
                 O arg2)