Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@ryansg.com>2020-03-25 23:20:51 -0400
committerMike Gerwitz <mike.gerwitz@ryansg.com>2020-03-26 09:14:29 -0400
commit537d9e64afdeb6fe3624e23838ecde7309486b77 (patch)
treeac0f871abdd7473bf94dba4856c1b8005534fb64 /tamer/src/ir/asg/base.rs
parentd6762ab54736091c12c924ae3ba94d70763ee6d1 (diff)
downloadtame-537d9e64afdeb6fe3624e23838ecde7309486b77.tar.gz
tame-537d9e64afdeb6fe3624e23838ecde7309486b77.tar.bz2
tame-537d9e64afdeb6fe3624e23838ecde7309486b77.zip
[DEV-7087] TAMER: ObjectState: Introduce extern transition
This is the first step in a more incremental refactoring that previous commits to undo the optional Source in `ObjectState::ident`. This provides an explicit transition to an extern, with the intent of requiring an initial missing state. This will simplify logic on the ASG. Note that the Source provided to this new method is not yet used. That too will come in a following commit and will represent the source of the defined extern rather than the concrete identifier.
Diffstat (limited to 'tamer/src/ir/asg/base.rs')
-rw-r--r--tamer/src/ir/asg/base.rs8
1 files changed, 8 insertions, 0 deletions
diff --git a/tamer/src/ir/asg/base.rs b/tamer/src/ir/asg/base.rs
index 91a00b5..e156a77 100644
--- a/tamer/src/ir/asg/base.rs
+++ b/tamer/src/ir/asg/base.rs
@@ -464,6 +464,14 @@ mod test {
Ok(self)
}
+ fn extern_(
+ self,
+ _kind: IdentKind,
+ _src: Source<'i>,
+ ) -> TransitionResult<StubIdentObject<'i>> {
+ Ok(self)
+ }
+
fn set_fragment(
mut self,
text: FragmentText,