org.clafer.ir.analysis

Class Canonicalizer

java.lang.Object

org.clafer.ir.analysis.Canonicalizer

public class Canonicalizer
extends Object

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
static IrModule	canonical(IrModule module) Rewrites the module in a form that is easier to pattern match and makes some implicit constraints explicit.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

canonical

public static IrModule canonical(IrModule module)

Rewrites the module in a form that is easier to pattern match and makes some implicit constraints explicit.

Parameters:

module - the module to canonicalize

Returns:

the canonicalized module