hlt.language.design.kernel

Class Sanitizer

java.lang.Object

hlt.language.design.kernel.Sanitizer

public class Sanitizer
extends java.lang.Object

Version:

Last modified on Wed Jun 20 14:29:51 2012 by hak

Author:

Hassan Aït-Kaci

Copyright:

© by the author

Constructor Summary

Constructors

Constructor and Description
Sanitizer()

Method Summary

Methods

Modifier and Type	Method and Description
static Expression	sanitizeNames(Expression e)
static Expression	sanitizeNames(Expression e, ParameterStack stack)
static void	sanitizeSorts(Expression e)

Methods inherited from class java.lang.Object

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

Constructor Detail

Sanitizer

public Sanitizer()

Method Detail

sanitizeNames

public static final Expression sanitizeNames(Expression e)

sanitizeNames

public static final Expression sanitizeNames(Expression e,
                       ParameterStack stack)

sanitizeSorts

public static final void sanitizeSorts(Expression e)