Index

_

__add__() (AbstractInteger method) (NumericType method) __and__() (BooleanType method) __bool__() (Boolean method) __call__() (NadaFunction method) __eq__() (AbstractInteger method) (Boolean method) (CompilerOutput method) (EcdsaDigestMessage method) (EcdsaPrivateKey method) (EcdsaSignature method) (IfElse method) (Integer method) (NadaFunctionCall method) (Output method) (ProcessOperationOutput method) (PublicBoolean method) (PublicInteger method) (PublicUnsignedInteger method) (ScalarType method) (SecretBoolean method) (SecretInteger method) (SecretUnsignedInteger method) (SourceRef method) (UnsignedInteger method) __ge__() (AbstractInteger method) (NumericType method) __gt__() (AbstractInteger method) (NumericType method) __invert__() (Boolean method) (PublicBoolean method) (SecretBoolean method)

__le__() (AbstractInteger method) (Metaclass method) (NumericType method) __lshift__() (NumericType method) __lt__() (AbstractInteger method) (Metaclass method) (NumericType method) __mod__() (NumericType method) __mul__() (AbstractInteger method) (NumericType method) __ne__() (AbstractInteger method) (ScalarType method) __neg__() (AbstractInteger method) __or__() (BooleanType method) __orig_bases__ (NadaFunction attribute) (NadaFunctionArg attribute) (NadaFunctionCall attribute) __parameters__ (NadaFunction attribute) (NadaFunctionArg attribute) (NadaFunctionCall attribute) __pow__() (NumericType method) __radd__() (AbstractInteger method) (NumericType method) __rmul__() (AbstractInteger method) __rshift__() (NumericType method) __rsub__() (AbstractInteger method) __sub__() (AbstractInteger method) (NumericType method) __truediv__() (NumericType method) __xor__() (BooleanType method)

A

Abstract (class in nada_dsl.audit.abstract) AbstractBoolean (class in nada_dsl.audit.abstract) AbstractInteger (class in nada_dsl.audit.abstract) add_input_to_map() (in module nada_dsl.compiler_frontend) Addition (class in nada_dsl.operations)

analysis (Abstract attribute) arg_0 (IfElse attribute) arg_1 (IfElse attribute) args (NadaFunction attribute) (NadaFunctionCall attribute)

B

back_frame() (SourceRef class method) base_type (Boolean attribute) (Integer attribute) (PublicBoolean attribute) (PublicInteger attribute) (PublicUnsignedInteger attribute) (ScalarType attribute) (SecretBoolean attribute) (SecretInteger attribute) (SecretUnsignedInteger attribute) (UnsignedInteger attribute)

binary_arithmetic_operation() (in module nada_dsl.nada_types.scalar_types) binary_logical_operation() (in module nada_dsl.nada_types.scalar_types) binary_relational_operation() (in module nada_dsl.nada_types.scalar_types) BinaryOperation (class in nada_dsl.operations) Boolean (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types) BooleanAnd (class in nada_dsl.operations) BooleanOr (class in nada_dsl.operations) BooleanType (class in nada_dsl.nada_types.scalar_types) BooleanXor (class in nada_dsl.operations)

C

ClassEncoder (class in nada_dsl.compiler_frontend) compile_script() (in module nada_dsl.compile) compile_string() (in module nada_dsl.compile)

CompilerException CompilerOutput (class in nada_dsl.compile) Constant (class in nada_dsl.audit.abstract) context (Abstract attribute)

D

default() (ClassEncoder method)

Division (class in nada_dsl.operations) doc (Input attribute), [1]

E

ecdsa_sign() (EcdsaPrivateKey method) EcdsaDigestMessage (class in nada_dsl.nada_types.scalar_types) EcdsaPrivateKey (class in nada_dsl.nada_types.scalar_types) EcdsaSign (class in nada_dsl.operations) EcdsaSignature (class in nada_dsl.nada_types.scalar_types) enrich_from_type() (in module nada_dsl.audit.report)

enrich_fromaudits() (in module nada_dsl.audit.report) enrich_keyword() (in module nada_dsl.audit.report) enrich_syntaxrestriction() (in module nada_dsl.audit.report) Equals (class in nada_dsl.operations) equals_operation() (in module nada_dsl.nada_types.scalar_types) extra_function (ProcessOperationOutput attribute)

F

file (SourceRef attribute) fn (NadaFunctionCall attribute)

function (NadaFunction attribute) function_id (NadaFunctionArg attribute)

G

get_refs() (SourceRef static method) get_sources() (SourceRef static method)

get_target_dir() (in module nada_dsl.compiler_frontend) GreaterOrEqualThan (class in nada_dsl.operations) GreaterThan (class in nada_dsl.operations)

H

html() (in module nada_dsl.audit.report)

I

id (NadaFunction attribute) if_else() (AbstractBoolean method) (BooleanType method) IfElse (class in nada_dsl.operations) initialize() (Abstract static method) inner (Output attribute), [1]

inner_type() (in module nada_dsl.nada_types.function) Input (class in nada_dsl.audit.abstract) (class in nada_dsl.program_io) input() (Abstract static method) inputs (Abstract attribute) Integer (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types)

L

LeftShift (class in nada_dsl.operations) length (SourceRef attribute) LessOrEqualThan (class in nada_dsl.operations)

LessThan (class in nada_dsl.operations) lineno (SourceRef attribute) Literal (class in nada_dsl.program_io) locations() (in module nada_dsl.audit.report)

M

Metaclass (class in nada_dsl.audit.abstract) mir (CompilerOutput attribute) (ProcessOperationOutput attribute) mode (Boolean attribute) (Integer attribute) (PublicBoolean attribute) (PublicInteger attribute) (PublicUnsignedInteger attribute) (ScalarType attribute) (SecretBoolean attribute) (SecretInteger attribute) (SecretUnsignedInteger attribute) (UnsignedInteger attribute)

module nada_dsl.audit.abstract nada_dsl.audit.report nada_dsl.audit.strict nada_dsl.compile nada_dsl.compiler_frontend nada_dsl.nada_types.function nada_dsl.nada_types.generics nada_dsl.nada_types.scalar_types nada_dsl.operations nada_dsl.program_io nada_dsl.source_ref Modulo (class in nada_dsl.operations) Multiplication (class in nada_dsl.operations)

N

nada_compile() (in module nada_dsl.compiler_frontend) nada_dsl.audit.abstract module nada_dsl.audit.report module nada_dsl.audit.strict module nada_dsl.compile module nada_dsl.compiler_frontend module nada_dsl.nada_types.function module nada_dsl.nada_types.generics module nada_dsl.nada_types.scalar_types module

nada_dsl.operations module nada_dsl.program_io module nada_dsl.source_ref module nada_dsl_to_nada_mir() (in module nada_dsl.compiler_frontend) nada_fn() (in module nada_dsl.nada_types.function) NadaFunction (class in nada_dsl.nada_types.function) NadaFunctionArg (class in nada_dsl.nada_types.function) NadaFunctionCall (class in nada_dsl.nada_types.function) name (Input attribute), [1] (NadaFunctionArg attribute) (Output attribute), [1] new_scalar_type() (in module nada_dsl.nada_types.scalar_types) Not (class in nada_dsl.operations) NotEquals (class in nada_dsl.operations) NumericType (class in nada_dsl.nada_types.scalar_types)

O

offset (SourceRef attribute) Output (class in nada_dsl.audit.abstract) (class in nada_dsl.program_io)

output() (Abstract static method) outputs (Abstract attribute)

P

parse() (in module nada_dsl.audit.report) parties (Abstract attribute) Party (class in nada_dsl.audit.abstract) party (Input attribute), [1] (Output attribute), [1] party() (Abstract static method) Power (class in nada_dsl.operations) print_output() (in module nada_dsl.compile) process_operation() (in module nada_dsl.compiler_frontend) ProcessOperationOutput (class in nada_dsl.compiler_frontend) Public (class in nada_dsl.audit.abstract)

public_equals() (PublicBoolean method) (PublicInteger method) (PublicUnsignedInteger method) (SecretInteger method) (SecretUnsignedInteger method) public_equals_operation() (in module nada_dsl.nada_types.scalar_types) PublicBoolean (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types) PublicInteger (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types) PublicOutputEquality (class in nada_dsl.operations) PublicUnsignedInteger (class in nada_dsl.nada_types.scalar_types)

R

Random (class in nada_dsl.operations) random() (SecretBoolean class method) (SecretInteger class method) (SecretUnsignedInteger class method)

register_scalar_type() (in module nada_dsl.nada_types.scalar_types) return_type (NadaFunction attribute) Reveal (class in nada_dsl.operations) RightShift (class in nada_dsl.operations) rules() (in module nada_dsl.audit.strict)

S

ScalarType (class in nada_dsl.nada_types.scalar_types) Secret (class in nada_dsl.audit.abstract) SecretBoolean (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types) SecretInteger (class in nada_dsl.audit.abstract) (class in nada_dsl.nada_types.scalar_types) SecretUnsignedInteger (class in nada_dsl.nada_types.scalar_types) shape() (Metaclass method) shift_operation() (in module nada_dsl.nada_types.scalar_types) signature() (Abstract static method) (in module nada_dsl.audit.abstract) source_ref (IfElse attribute) (Input attribute) (Literal attribute) (NadaFunction attribute) (NadaFunctionArg attribute) (NadaFunctionCall attribute) (Output attribute) (Random attribute)

SourceRef (class in nada_dsl.source_ref) store_in_ast() (BinaryOperation method) (IfElse method) (Input method) (Literal method) (NadaFunction method) (NadaFunctionArg method) (NadaFunctionCall method) (Random method) (UnaryOperation method) strict() (in module nada_dsl.audit.strict) Subtraction (class in nada_dsl.operations)

T

this (IfElse attribute) to_index() (SourceRef method) to_input_list() (in module nada_dsl.compiler_frontend) to_key() (SourceRef method) to_literal_list() (in module nada_dsl.compiler_frontend) to_mir_function_list() (in module nada_dsl.compiler_frontend) to_party_list() (in module nada_dsl.compiler_frontend) to_public() (ScalarType method) (SecretBoolean method) (SecretInteger method) (SecretUnsignedInteger method)

to_value() (SourceRef method) traverse_and_process_operations() (in module nada_dsl.compiler_frontend) trunc_pr() (SecretInteger method) (SecretUnsignedInteger method) TruncPr (class in nada_dsl.operations) try_get_line_info() (SourceRef static method) type (NadaFunctionArg attribute) type_to_str() (in module nada_dsl.audit.report) types() (in module nada_dsl.audit.strict)

U

UnaryOperation (class in nada_dsl.operations)

UnsignedInteger (class in nada_dsl.nada_types.scalar_types)

V

value (Boolean attribute) (Literal attribute), [1] (NumericType attribute) (ScalarType attribute) (UnsignedInteger attribute)