		Search-engine friendly clone of the ACL2 documentation.

Atj-implementation

Atj-java-syntax-operations

Operations on the Java abstract syntax used by ATJ.

These operartions, like the abstract syntax of Java, are more general than ATJ and will be eventually moved to a new library for manipulating Java code. For now, these are parts of ATJ, which is their only user so far.

Subtopics

Jstatems+jblocks-count-ifs: Number of ifs in a statement or block.
Negate-boolean-jexpr: Negates a (boolean) Java expression.
Unmake-right-assoc-condand: Split a right-associated conditional conjunction into its conjuncts.
Jstatems+jblocks-methods: Method names in a statement or block.
Mergesort-jmethods: Sort a list of methods according to their names.
Mergesort-jfields: Sort a list of fields according to their names.
Make-right-assoc-condand: Make a right-associated conditional conjunction from a non-empty list of conjuncts.
Merge-jmethods
Merge-jfields
Jexpr-vars: Variables in a Java expression.
Jexpr-methods: Method names in a Java expression.