Multifile Declarations: spec_indirection/2 spec_predicate/2 spec_predicate_recursive/4 spec_connective/4

Dynamic Predicates: spec_indirection/2 spec_predicate/2 spec_predicate_recursive/4 spec_connective/4

211 Lines

26 Predicates

Imported Modules: lists

18 Exports

2 specified Imports

Imports	Exports
Name: variant/2 Module: terms Name: log/3 Module: plspec_logger	Name: spec_predicate/2 Name: spec_predicate_recursive/4 Name: spec_indirection/2 Name: spec_connective/4 Name: spec_basic/2 Name: spec_exists/1 Name: spec_exists/2 Name: true/1 Name: atom/2 Name: valid/2 Name: valid/3 Name: evaluate_spec_match/4 Name: list/4 Name: compound/4 Name: tuple/4 Name: spec_and/4 Name: and/4 Name: or/4

Imports

Exports

Name: variant/2

Module: terms

Name: log/3

Module: plspec_logger

Name: spec_predicate/2

Name: spec_predicate_recursive/4

Name: spec_indirection/2

Name: spec_connective/4

Name: spec_basic/2

Name: spec_exists/1

Name: spec_exists/2

Name: true/1

Name: atom/2

Name: valid/2

Name: valid/3

Name: evaluate_spec_match/4

Name: list/4

Name: compound/4

Name: tuple/4

Name: spec_and/4

Name: and/4

Name: or/4

evaluate_spec_match/4

evaluate_spec_match_case/4

is_vars/1

list/4

list1/4

Description:
list1 only ensures that the value is a list.
The type of its members is checked later on in a seperate step.
list1 will return a spec for each member.
If a tail is a variable, the bound value should be
of the same type as the list itself.

or/4

or2/3

prepare_check_variant/2

spec_and/4

Description:
this is actually repeat

spec_basic/2

spec_basic_or_normal_pred/2

spec_connective/4

Dynamic: true

Multifile: true

spec_exists/1

spec_exists/2

spec_indirection/2

Dynamic: true

Multifile: true

spec_predicate/2

Dynamic: true

Multifile: true

spec_predicate_recursive/4

Dynamic: true

Multifile: true

spec_recursive_or_connective/3

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
* Non-determinate: validator:spec_predicate/2 (clause 1)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate/2 (clause 2)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate/2 (clause 3)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate/2 (clause 4)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate/2 (clause 5)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate/2 (clause 6)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate_recursive/4 (clause 1)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate_recursive/4 (clause 2)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_predicate_recursive/4 (clause 3)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_indirection/2 (clause 1)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_indirection/2 (clause 2)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_indirection/2 (clause 3)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_connective/4 (clause 1)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_connective/4 (clause 2)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: validator:spec_basic_or_normal_pred/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: validator:spec_basic_or_normal_pred/2 (clause 2)
* Calls nondet predicate validator:spec_predicate/2 .
* Non-determinate: validator:spec_recursive_or_connective/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: validator:spec_recursive_or_connective/3 (clause 1)
* Calls nondet predicate validator:spec_predicate_recursive/4 .
* Non-determinate: validator:spec_recursive_or_connective/3 (clause 2)
* Calls nondet predicate validator:spec_connective/4 .
* Non-determinate: validator:evaluate_spec_match_case/4 (clause 3)
* Calls nondet predicate validator:spec_indirection/2 .
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,false)
* Non-determinate: validator:or/4 (clause 1)
* Indexing cannot distinguish this from clause 2.

Name: =/2
Name: RECURSIVE_CALL/4	Module: validator
Name: ==/2
Name: ->/3
Name: evaluate_spec_match/4	Module: validator

Name: =../2
Name: length/2
Name: \=/2
Name: compound/1

Name: evaluate_spec_match_case/4	Module: validator
Name: log/3	Module: plspec_logger
Name: !
Name: spec_exists/1	Module: validator
Name: not/1
Name: nonvar/1

Name: valid/3	Module: validator
Name: and/4	Module: validator
Name: evaluate_spec_match_case/4	Module: validator
Name: valid/2	Module: validator
Name: or2/3	Module: validator

Name: evaluate_spec_match/4	Module: validator
Name: spec_indirection/2	Module: validator
Name: =/2
Name: log/3	Module: plspec_logger
Name: true
Name: check_variant/2	Module: validator
Name: ->/3
Name: call/5
Name: call/4
Name: prepare_check_variant/2	Module: validator
Name: !
Name: spec_recursive_or_connective/3	Module: validator
Name: call/2
Name: spec_basic_or_normal_pred/2	Module: validator

validator

prob_prolog/extensions/plspec/plspec/validator.pl

Modules

Predicates of validator

Module Information

Multifile Declarations: spec_indirection/2 spec_predicate/2 spec_predicate_recursive/4 spec_connective/4

Dynamic Predicates: spec_indirection/2 spec_predicate/2 spec_predicate_recursive/4 spec_connective/4

211 Lines

26 Predicates

Imported Modules: lists

18 Exports

2 specified Imports

Predicates:

and/4

atom/2

check_variant/2

compound/4

evaluate_spec_match/4

evaluate_spec_match_case/4

is_vars/1

list/4

list1/4

or/4

or2/3

prepare_check_variant/2

spec_and/4

spec_basic/2

spec_basic_or_normal_pred/2

spec_connective/4

spec_exists/1

spec_exists/2

spec_indirection/2

spec_predicate/2

spec_predicate_recursive/4

spec_recursive_or_connective/3

true/1

tuple/4

valid/2

valid/3

Determinacy Checker:

Name: var/1
Name: !
Name: =/2
Name: nonvar/1
Name: RECURSIVE_CALL/4	Module: validator

Name: RECURSIVE_CALL/3	Module: validator
Name: true
Name: ==/2
Name: ->/3
Name: evaluate_spec_match/4	Module: validator

Name: spec_exists/2	Module: validator
Name: debug_argument/3	Module: prettyprinter
Name: evaluate_spec_match_case/4	Module: validator
Name: spec_exists/1	Module: validator

Name: spec_top_level_match/2	Module: prettyprinter
Name: debug_argument/3	Module: prettyprinter
Name: l_debug_arguments/4	Module: prettyprinter