Module type_matcher 

Writer↔Reader Type-Matching (XTypes §7.2.4 + §7.6.3.7).

Verbindet [assignability::is_assignable] mit der QoS-Policy TypeConsistencyEnforcement: je nach TCE-Flags werden einzelne Assignability-Rules abgeschwaecht oder verschaerft.

Beispiel:

use zerodds_types::qos::TypeConsistencyEnforcement;
use zerodds_types::resolve::TypeRegistry;
use zerodds_types::type_matcher::TypeMatcher;
use zerodds_types::{PrimitiveKind, TypeIdentifier};

let reg = TypeRegistry::new();
let tce = TypeConsistencyEnforcement::default();
let m = TypeMatcher::new(&tce);
let writer = TypeIdentifier::Primitive(PrimitiveKind::Int32);
let reader = TypeIdentifier::Primitive(PrimitiveKind::Int32);
assert!(m.match_types(&writer, &reader, &reg).is_match());

Structs

TypeMatcher

Facade um is_assignable, die eine TypeConsistencyEnforcement- Policy in die interne AssignabilityConfig uebersetzt.

Enums

TypeMatchResult

Ergebnis eines Type-Matches. Identisch in Semantik zu Assignable, aber ein eigenstaendiger Typ fuer die Matcher-API (so wird der Call-Site nicht an das interne Assignable gekoppelt).