Package org.biscuitsec.biscuit.datalog

Class SymbolTable

java.lang.Object

org.biscuitsec.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	According to the specification, 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(List<String> symbols)
SymbolTable(List<String> symbols, List<PublicKey> publicKeys)
SymbolTable(SymbolTable s)

Method Summary

Modifier and Type	Method	Description
Term	add(String symbol)
int	currentOffset()
int	currentPublicKeyOffset()
boolean	equals(Object o)
String	fromEpochIsoDate(long epochSec)
io.vavr.control.Option<Long>	get(String symbol)
io.vavr.control.Option<PublicKey>	get_pk(int i)
io.vavr.control.Option<String>	get_s(int i)
List<String>	getAllSymbols()
int	hashCode()
long	insert(String symbol)
long	insert(PublicKey publicKey)
String	print_check(Check c)
String	print_expression(Expression e)
String	print_fact(Fact f)
String	print_predicate(Predicate p)
String	print_rule(Rule r)
String	print_rule_body(Rule r)
String	print_scope(Scope scope)
String	print_symbol(int i)
String	print_term(Term i)
String	print_world(World w)
List<PublicKey>	publicKeys()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, 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

According to the specification, 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)

SymbolTable

public SymbolTable(List<String> symbols)

SymbolTable

public SymbolTable(List<String> symbols,
                   List<PublicKey> publicKeys)

Method Detail

fromEpochIsoDate

public String fromEpochIsoDate(long epochSec)

insert

public long insert(String symbol)

currentOffset

public int currentOffset()

currentPublicKeyOffset

public int currentPublicKeyOffset()

publicKeys

public List<PublicKey> publicKeys()

insert

public long insert(PublicKey publicKey)

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)

get_pk

public io.vavr.control.Option<PublicKey> get_pk(int i)

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_scope

public String print_scope(Scope scope)

print_predicate

public String print_predicate(Predicate p)

print_term

public String print_term(Term i)

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()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object