There is now another branch next to AST and ASG: "Semantic domain".
The idea is that the fluent API implementation of Java uses a nested hashmap essentially as a "semantic domain" (thereby, directly allowing for simulation of an FSM) whereas most, if not all, other implementations really use a proper AST or ASG.
Overall, the option of a semantic domain isn't too strange, conceptually. It's worth adding to the feature model, which is what I did.
So please change the documentation of javaFluentInternal.
(I am not doing this myself to bring this new feature to your attention.)
cc @sschauss
Just committed in the paper dir.
There is now another branch next to AST and ASG: "Semantic domain".
The idea is that the fluent API implementation of Java uses a nested hashmap essentially as a "semantic domain" (thereby, directly allowing for simulation of an FSM) whereas most, if not all, other implementations really use a proper AST or ASG.
Overall, the option of a semantic domain isn't too strange, conceptually. It's worth adding to the feature model, which is what I did.
So please change the documentation of javaFluentInternal.
(I am not doing this myself to bring this new feature to your attention.)