abc.aspectj.extension
Class AssignDel_c

java.lang.Object
  extended by JL_c
      extended by abc.aspectj.extension.AssignDel_c

public class AssignDel_c
extends JL_c

Author:
Pavel Avgustinov, Oege de Moor

Constructor Summary
AssignDel_c()
           
 
Method Summary
 Node typeCheck(TypeChecker tc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AssignDel_c

public AssignDel_c()
Method Detail

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException
Throws:
SemanticException