Package com.clevercloud.biscuit.datalog

Class SymbolTable

java.lang.Object

com.clevercloud.biscuit.datalog.SymbolTable

All Implemented Interfaces:

Serializable

public final class SymbolTable
extends Object
implements Serializable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static short	DEFAULT_SYMBOLS_OFFSET
static List<String>	defaultSymbols	Due to https://github.com/biscuit-auth/biscuit/blob/master/SPECIFICATIONS.md#symbol-table, We need two symbols tables: * one for the defaults symbols indexed from 0 et 1023 in defaultSymbols list * one for the usages symbols indexed from 1024 in symbols list
List<String>	symbols

Constructor Summary

Constructors

Constructor	Description
SymbolTable()
SymbolTable(SymbolTable s)

Method Summary

Modifier and Type	Method	Description
Term	add(String symbol)
io.vavr.control.Option<Long>	get(String symbol)
io.vavr.control.Option<String>	get_s(int i)
List<String>	getAllSymbols()
long	insert(String symbol)
String	print_check(Check c)
String	print_expression(Expression e)
String	print_fact(Fact f)
String	print_id(Term value)
String	print_predicate(Predicate p)
String	print_rule(Rule r)
String	print_rule_body(Rule r)
String	print_symbol(int i)
String	print_world(World w)

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_SYMBOLS_OFFSET

public static final short DEFAULT_SYMBOLS_OFFSET

See Also:

Constant Field Values

defaultSymbols

public static final List<String> defaultSymbols

Due to https://github.com/biscuit-auth/biscuit/blob/master/SPECIFICATIONS.md#symbol-table, We need two symbols tables: * one for the defaults symbols indexed from 0 et 1023 in defaultSymbols list * one for the usages symbols indexed from 1024 in symbols list

symbols

public final List<String> symbols

Constructor Detail

SymbolTable

public SymbolTable()

SymbolTable

public SymbolTable(SymbolTable s)

Method Detail

insert

public long insert(String symbol)

add

public Term add(String symbol)

get

public io.vavr.control.Option<Long> get(String symbol)

get_s

public io.vavr.control.Option<String> get_s(int i)

print_id

public String print_id(Term value)

print_rule

public String print_rule(Rule r)

print_rule_body

public String print_rule_body(Rule r)

print_expression

public String print_expression(Expression e)

print_predicate

public String print_predicate(Predicate p)

print_fact

public String print_fact(Fact f)

print_check

public String print_check(Check c)

print_world

public String print_world(World w)

print_symbol

public String print_symbol(int i)

getAllSymbols

public List<String> getAllSymbols()