Package | Description |
---|---|
alice.logictuple | |
alice.tucson.rbac |
Modifier and Type | Class and Description |
---|---|
class |
Value
Class representing a concrete tuple argument value (integer, real, string,
structure).
|
class |
Var
Class representing tuple argument variables.
|
Modifier and Type | Method and Description |
---|---|
TupleArgument |
TupleArgument.getArg(int index)
Gets an argument of this argument supposed to be a compound
|
TupleArgument |
LogicTuple.getArg(int index)
Gets a argument inside the logic tuple
|
TupleArgument |
TupleArgument.getArg(java.lang.String name)
Gets an argument of this argument supposed to be a compound
|
TupleArgument |
LogicTuple.getArg(java.lang.String name)
Gets an argument (typically a structured value) given its name
|
TupleArgument |
TupleArgument.getVarValue(java.lang.String varName)
Gets the argument linked to a variable inside the tuple argument
|
TupleArgument |
LogicTuple.getVarValue(java.lang.String varName)
Gets the argument linked to a variable inside the tuple.
|
static TupleArgument |
TupleArgument.parse(java.lang.String st)
Static service to get a Tuple Argument from a textual representation
|
TupleArgument[] |
TupleArgument.toArray()
Converts this argument (which is supposed to be a Prolog list) into an
array of values
|
Modifier and Type | Method and Description |
---|---|
boolean |
TupleArgument.match(TupleArgument t)
Specifies if this tuple argument matches with a specified tuple argument
|
boolean |
TupleArgument.propagate(alice.tuprolog.Prolog p,
TupleArgument t)
Tries to unify this tuple argument with another one
|
Constructor and Description |
---|
LogicTuple(java.lang.String name,
TupleArgument t1)
Constructs the logic tuple providing the tuple name and one argument
|
LogicTuple(java.lang.String name,
TupleArgument[] list)
Constructs a logic tuple providing the tuple name and argument list
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2)
Constructs the logic tuple providing the tuple name and two arguments
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2,
TupleArgument t3)
Constructs the logic tuple providing the tuple name and three arguments
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2,
TupleArgument t3,
TupleArgument t4)
Constructs the logic tuple providing the tuple name and four arguments
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2,
TupleArgument t3,
TupleArgument t4,
TupleArgument t5)
Constructs the logic tuple providing the tuple name and five arguments
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2,
TupleArgument t3,
TupleArgument t4,
TupleArgument t5,
TupleArgument t6)
Constructs the logic tuple providing the tuple name and six arguments
|
LogicTuple(java.lang.String name,
TupleArgument t1,
TupleArgument t2,
TupleArgument t3,
TupleArgument t4,
TupleArgument t5,
TupleArgument t6,
TupleArgument t7)
Constructs the logic tuple providing the tuple name and seven arguments
|
LogicTuple(TupleArgument t)
Constructs the logic tuple from a tuple argument (free form of
construction)
|
Value(java.lang.String f,
TupleArgument at0)
Constructs a structured (compound) argument, made of a string as a name
(functor) and one argument
|
Value(java.lang.String f,
TupleArgument[] argList)
Constructs a structured (compound) argument, made of a string as a name
(functor) and list of arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1)
Constructs a structured (compound) argument, made of a string as a name
(functor) and two arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1,
TupleArgument at2)
Constructs a structured (compound) argument, made of a string as a name
(functor) and three arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1,
TupleArgument at2,
TupleArgument at3)
Constructs a structured (compound) argument, made of a string as a name
(functor) and four arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1,
TupleArgument at2,
TupleArgument at3,
TupleArgument at4)
Constructs a structured (compound) argument, made of a string as a name
(functor) and five arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1,
TupleArgument at2,
TupleArgument at3,
TupleArgument at4,
TupleArgument at5)
Constructs a structured (compound) argument, made of a string as a name
(functor) and six arguments
|
Value(java.lang.String f,
TupleArgument at0,
TupleArgument at1,
TupleArgument at2,
TupleArgument at3,
TupleArgument at4,
TupleArgument at5,
TupleArgument at6)
Constructs a structured (compound) argument, made of a string as a name
(functor) and seven arguments
|
Value(TupleArgument[] argList)
Constructs a structured (compound) argument as a logic list
|
Modifier and Type | Method and Description |
---|---|
static Policy |
TucsonPolicy.createPolicy(java.lang.String policyName,
TupleArgument[] permissions)
Builds a policy given its name and the set of permissions
|