Packages

c

TSchemePrimitives

class TSchemePrimitives[Addr, Abs] extends SchemePrimitives[Addr, Abs]

Linear Supertypes
SchemePrimitives[Addr, Abs], Primitives[Addr, Abs], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TSchemePrimitives
  2. SchemePrimitives
  3. Primitives
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TSchemePrimitives()(implicit arg0: Address[Addr], arg1: IsTaintLattice[Abs])

Type Members

  1. abstract class AssocLike extends StoreOperation
    Definition Classes
    SchemePrimitives
  2. class CarCdrOperation extends StoreOperation
    Definition Classes
    SchemePrimitives
  3. abstract class MemberLike extends StoreOperation

    (define (member e l) ; member, memq and memv are similar, the difference lies in the comparison function used (if (null? l) #f (if (equal? (car l) e) l (member e (cdr l)))))

    (define (member e l) ; member, memq and memv are similar, the difference lies in the comparison function used (if (null? l) #f (if (equal? (car l) e) l (member e (cdr l)))))

    Definition Classes
    SchemePrimitives
  4. abstract class NoStoreOperation extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  5. abstract class StoreOperation extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives

Value Members

  1. object ACos extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  2. object ASin extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  3. object ATan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  4. object Abs extends NoStoreOperation

    (define (abs x) (if (< x 0) (- 0 x) x))

    (define (abs x) (if (< x 0) (- 0 x) x))

    Definition Classes
    SchemePrimitives
  5. object Assoc extends AssocLike
    Definition Classes
    SchemePrimitives
  6. object Assq extends AssocLike
    Definition Classes
    SchemePrimitives
  7. object BoolTop extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  8. object Booleanp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  9. object Caaaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  10. object Caaadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  11. object Caaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  12. object Caadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  13. object Caaddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  14. object Caadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  15. object Caar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  16. object Cadaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  17. object Cadadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  18. object Cadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  19. object Caddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  20. object Cadddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  21. object Caddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  22. object Cadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  23. object Car extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  24. object Cdaaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  25. object Cdaadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  26. object Cdaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  27. object Cdadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  28. object Cdaddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  29. object Cdadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  30. object Cdar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  31. object Cddaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  32. object Cddadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  33. object Cddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  34. object Cdddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  35. object Cddddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  36. object Cdddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  37. object Cddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  38. object Cdr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  39. object Ceiling extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  40. object Charp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  41. object Cons extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  42. object Cos extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  43. object Display extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  44. object Div extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  45. object Eq extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  46. object Equal extends StoreOperation

    (define (equal? a b) (or (eq? a b) (and (null? a) (null? b)) (and (pair? a) (pair? b) (equal? (car a) (car b)) (equal? (cdr a) (cdr b))) (and (vector? a) (vector? b) (let ((n (vector-length a))) (and (= (vector-length b) n) (letrec ((loop (lambda (i) (or (= i n) (and (equal? (vector-ref a i) (vector-ref b i)) (loop (+ i 1))))))) (loop 0)))))))

    (define (equal? a b) (or (eq? a b) (and (null? a) (null? b)) (and (pair? a) (pair? b) (equal? (car a) (car b)) (equal? (cdr a) (cdr b))) (and (vector? a) (vector? b) (let ((n (vector-length a))) (and (= (vector-length b) n) (letrec ((loop (lambda (i) (or (= i n) (and (equal? (vector-ref a i) (vector-ref b i)) (loop (+ i 1))))))) (loop 0)))))))

    Definition Classes
    SchemePrimitives
  47. object Error extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  48. object Evenp extends NoStoreOperation

    (define (even? x) (= 0 (modulo x 2)))

    (define (even? x) (= 0 (modulo x 2)))

    Definition Classes
    SchemePrimitives
  49. object ExactToInexact extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  50. object Expt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  51. object Floor extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  52. object Gcd extends NoStoreOperation

    (define (gcd a b) (if (= b 0) a (gcd b (modulo a b))))

    (define (gcd a b) (if (= b 0) a (gcd b (modulo a b))))

    Definition Classes
    SchemePrimitives
  53. object GreaterOrEqual extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  54. object GreaterThan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  55. object InexactToExact extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  56. object IntTop extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  57. object Integerp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  58. object Length extends StoreOperation
    Definition Classes
    SchemePrimitives
  59. object LessOrEqual extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  60. object LessThan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  61. object ListPrim extends StoreOperation
    Definition Classes
    SchemePrimitives
  62. object ListRef extends StoreOperation

    (define (list-ref l index) (if (pair? l) (if (= index 0) (car l) (list-ref (cdr l) (- index 1))) (error "list-ref applied to a non-list")))

    (define (list-ref l index) (if (pair? l) (if (= index 0) (car l) (list-ref (cdr l) (- index 1))) (error "list-ref applied to a non-list")))

    Definition Classes
    SchemePrimitives
  63. object Listp extends StoreOperation

    (define (list? l) (or (and (pair? l) (list? (cdr l))) (null? l)))

    (define (list? l) (or (and (pair? l) (list? (cdr l))) (null? l)))

    Definition Classes
    SchemePrimitives
  64. object Log extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  65. object MakeVector extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  66. object Max extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  67. object Member extends MemberLike
    Definition Classes
    SchemePrimitives
  68. object Memq extends MemberLike
    Definition Classes
    SchemePrimitives
  69. object Min extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  70. object Minus extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  71. object Modulo extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  72. object Negativep extends NoStoreOperation

    (define (positive? x) (< 0 x))

    (define (positive? x) (< 0 x))

    Definition Classes
    SchemePrimitives
  73. object Newline extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  74. object Not extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  75. object Nullp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  76. object NumEq extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  77. object NumberToString extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  78. object Numberp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  79. object Oddp extends NoStoreOperation

    (define (odd? x) (= 1 (modulo x 2)))

    (define (odd? x) (= 1 (modulo x 2)))

    Definition Classes
    SchemePrimitives
  80. object Pairp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  81. object Plus extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  82. object Positivep extends NoStoreOperation

    (define (positive? x) (< x 0))

    (define (positive? x) (< x 0))

    Definition Classes
    SchemePrimitives
  83. object Quotient extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  84. object Random extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  85. object Realp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  86. object Remainder extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  87. object Round extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  88. object SetCar extends StoreOperation
    Definition Classes
    SchemePrimitives
  89. object SetCdr extends StoreOperation
    Definition Classes
    SchemePrimitives
  90. object Sin extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  91. object Sqrt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  92. object StringAppend extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  93. object StringLength extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  94. object StringLt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  95. object StringToSymbol extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  96. object Stringp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  97. object SymbolToString extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  98. object Symbolp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  99. object Tan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  100. object Times extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  101. object Vector extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  102. object VectorLength extends StoreOperation
    Definition Classes
    SchemePrimitives
  103. object VectorRef extends StoreOperation
    Definition Classes
    SchemePrimitives
  104. object VectorSet extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  105. object Vectorp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  106. object Zerop extends NoStoreOperation

    (define (zero? x) (= x 0))

    (define (zero? x) (= x 0))

    Definition Classes
    SchemePrimitives
  107. val abs: IsSchemeLattice[Abs]
    Definition Classes
    SchemePrimitives
  108. def acos: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  109. def all: List[Primitive[Addr, Abs]]

    Bundles all the primitives together, annotated with R5RS support (v: supported, vv: supported and tested in PrimitiveTests, vx: not fully supported, x: not supported), and section in Guile manual

    Bundles all the primitives together, annotated with R5RS support (v: supported, vv: supported and tested in PrimitiveTests, vx: not fully supported, x: not supported), and section in Guile manual

    Definition Classes
    TSchemePrimitives → SchemePrimitives → Primitives
  110. def asin: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  111. def atan: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  112. lazy val bindings: List[(String, Addr, Abs)]
    Definition Classes
    Primitives
  113. def ceiling: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  114. def cos: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  115. def div: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  116. def eqq: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  117. def err(e: SemanticError): MayFail[(Abs, Set[Effect[Addr]])]
    Definition Classes
    SchemePrimitives
  118. def exactToInexact: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  119. def floor: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  120. def inexactToExact: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  121. def isBoolean: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  122. def isChar: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  123. def isCons: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  124. def isInteger: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  125. def isNull: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  126. def isReal: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  127. def isString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  128. def isSymbol: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  129. def isVector: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  130. def log: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  131. def lt: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  132. val mfmon: Monoid[MayFail[(Abs, Set[Effect[Addr]])]]
    Definition Classes
    SchemePrimitives
  133. def minus: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  134. def modulo: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  135. def not: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  136. def numEq: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  137. def numberToString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  138. def plus: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  139. def quotient: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  140. def random: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  141. def remainder: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  142. def round: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  143. def sin: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  144. def sqrt: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  145. def stringAppend: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  146. def stringLength: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  147. def stringLt: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  148. def stringToSymbol: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  149. def success(v: Abs): MayFail[(Abs, Set[Effect[Addr]])]
    Definition Classes
    SchemePrimitives
  150. def symbolToString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  151. def tan: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  152. def times: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  153. def toVal(prim: Primitive[Addr, Abs]): Abs
    Definition Classes
    SchemePrimitives → Primitives
  154. def traced(prim: Primitive[Addr, Abs]): Primitive[Addr, Abs]

    Modify a primitive to trace it: output will be printed when the primitive is called.

    Modify a primitive to trace it: output will be printed when the primitive is called. This is for debugging purposes.

    Definition Classes
    Primitives
  155. def vectorLength: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  156. object Sanitize extends Primitive[Addr, Abs]
  157. object Sink extends Primitive[Addr, Abs]
  158. object Taint extends Primitive[Addr, Abs]