[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

parsing invariant string during tlc run


I'm trying to develop an interactive simulator for TLA, 
In the simulator I want let the user to interactively add invariants (something like watch expressions in traditional debuggers)
is there a way to parse an user supplied _expression_ and link it to a running Tool instance (tlc2.tool.Tool) ?

best regards,