Signatures

Modules

•  AST Data types and operations for Abstract Syntax Trees (ASTs).
•  ASTPrettyPrinter Type class for pretty printing ASTs.
•  DefaultFeatureTraceRecording Implementation of feature trace recording as proposed in the paper.
•  Defunctor Type class for de-lifting functions from embellished types.
•  EditPatterns Examples for edit patterns used in our evaluation.
•  Edits Module for Edits to ASTs.
•  Example Module for creating demos of feature trace recording.
•  Feature Data types for features and feature formulas.
•  FeatureColour Module for colouring features and feature formulas.
•  FeatureTrace Data types and functions for feature traces and presence conditions.
•  FeatureTraceRecording Data types and interfaces for feature trace recording.
•  Grammar Type class for context-free grammars.
•  ListUtil A collection of functions that modify lists.
•  Logic Type class for reasoning on Logics.
•  Main Module of the main function to run demos and print meta-information.
•  NullPropositions Definition and operations on the ternary logic with null.
•  Propositions Definition and operations of propositional logic.
•  SAT Module for sat solving on PropositionalFormulas.
•  SimpleJava Example implementation of a simplified version of the Java grammar.
•  Simplify Simplification of PropositionalFormulas.
•  StackPopAlice Motivating Example: Alice works on Stack.pop
•  StackPopBob Motivating Example: Simulating propagation of Alice's edits on Stack.pop to Bob's clone
•  TikzExport Facilities for exporting ASTs to Tikz code as a String.
•  Tree Implementation of a rose tree we use for ASTs.
•  Truthtable Generation of truth tables for Logics.
•  UUID Module representing universable unique identifiers (UUID).
•  Util A module containing various utility functions.