Package

ObSec

Static

Permalink

package Static

Visibility
  1. Public
  2. All

Type Members

  1. class AmadioCardelliSubtyping extends SubTypingAlgorithm

    Permalink
  2. class ErrorCollector extends AnyRef

    Permalink

    Created by racruz on 04-04-2017.

  3. class NestedScope[T] extends Scope[T]

    Permalink
  4. case class RecordType(methods: List[MethodDeclaration]) extends Type with Product with Serializable

    Permalink

    Created by racruz on 04-04-2017.

    Created by racruz on 04-04-2017. Internal record type (used when a object recursive type is unfolded

  5. class Scope[T] extends AnyRef

    Permalink
  6. trait SubTypingAlgorithm extends AnyRef

    Permalink

    Created by rcc on 4/2/2017.

  7. case class SubtypingError(message: String) extends Error with Product with Serializable

    Permalink
  8. class TypeChecker extends AnyRef

    Permalink

    Created by rcc on 3/30/2017.

  9. case class TypeError(str: String) extends Error with Product with Serializable

    Permalink
  10. class WellFormedChecker extends AnyRef

    Permalink

    Created by racruz on 31-03-2017.

Value Members

  1. object TypeChecker

    Permalink
  2. object TypeEquivalence

    Permalink

    Created by racruz on 04-04-2017.

  3. object TypeSubst

    Permalink

    Created by racruz on 04-04-2017.

Ungrouped