class SigmaTyper extends AnyRef
Type inference and analysis for Sigma expressions.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- SigmaTyper
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new SigmaTyper(builder: SigmaBuilder, predefFuncRegistry: PredefinedFuncRegistry)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def adaptSigmaPropToBoolean(items: Seq[Value[SType]], expectedTypes: Seq[SType]): Seq[Value[SType]]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def assignConcreteCollection(cc: ConcreteCollection[SType], newItems: Seq[Value[SType]]): Value[SCollection[SType]]
-
def
assignType(env: Map[String, SType], bound: SValue, expected: Option[SType] = None): SValue
Rewrite tree to typed tree.
Rewrite tree to typed tree. Checks constituent names and types. Uses the env map to resolve bound variables and their types.
- def bimap[T <: SType](env: Map[String, SType], op: String, l: Value[T], r: Value[T])(mkNode: (Value[T], Value[T]) ⇒ SValue)(tArg: SType, tRes: SType): SValue
- def bimap2[T <: SType](env: Map[String, SType], op: String, l: Value[T], r: Value[T])(newNode: (Value[T], Value[T]) ⇒ SValue): SValue
- val builder: SigmaBuilder
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def typecheck(bound: SValue): SValue
- def unmap[T <: SType](env: Map[String, SType], op: String, i: Value[T])(newNode: (Value[T]) ⇒ SValue)(tArg: SType): SValue
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()