Key

Not instrumented

Conditionalized out

Executed

Not executed

Both branches taken

One branch taken

Neither branch taken

1

(in-package :dydra-ndk)

2

3

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

4

;;; Statement API: Foreign Symbols

5

6

(defcfun ("dydra_statement_urn" statement-urn-string) :string

7

(subject-id term-id) (predicate-id term-id) (object-id term-id))

8

9

(defcfunwi ("dydra_statement_intern" statement-id) term-id

10

(subject-id term-id) (predicate-id term-id) (object-id term-id))

11

12

(defcfun ("dydra_statement_subject_id" statement-subject-id) term-id (statement-id term-id))

13

14

(defcfun ("dydra_statement_predicate_id" statement-predicate-id) term-id (statement-id term-id))

15

16

(defcfun ("dydra_statement_object_id" statement-object-id) term-id (statement-id term-id))