de.fosd.typechef.typesystem

linker

package linker

Visibility
  1. Public
  2. All

Type Members

  1. trait CFlag extends AnyRef

  2. trait CInferInterface extends CTypeSystem with InterfaceWriter

    first attempt to infer the interface of a C file for linker checks

  3. case class CInterface(featureModel: FeatureExpr, importedFeatures: Set[String], declaredFeatures: Set[String], imports: Seq[CSignature], exports: Seq[CSignature]) extends Product with Serializable

    describes the linker interface for a file, i.

  4. case class CSignature(name: String, ctype: CType, fexpr: FeatureExpr, pos: Seq[Position], extraFlags: Set[CFlag] = ...) extends Product with Serializable

    signature with name type and condition.

  5. trait InterfaceWriter extends AnyRef

  6. sealed trait Strictness extends AnyRef

    linking can be strict or less strict on what it considers a match to an import.

Value Members

  1. object CFlagOps

  2. object CInterface extends Serializable

  3. object EmptyInterface extends CInterface

  4. object LINK_NAMEONLY extends Strictness

  5. object LINK_RELAXED extends Strictness

  6. object LINK_STRICT extends Strictness

  7. object SystemLinker

  8. object WeakExport extends CFlag

Ungrouped