ist.palcom.st.ast
Class ASTUnaryPattern

java.lang.Object
  extended by ist.palcom.st.ast.ASTPattern
      extended by ist.palcom.st.ast.ASTUnaryPattern

public class ASTUnaryPattern
extends ASTPattern


Constructor Summary
ASTUnaryPattern(java.lang.String selector)
           
 
Method Summary
 java.util.List<ASTVariable> get_arguments()
           
 java.lang.String get_selector()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTUnaryPattern

public ASTUnaryPattern(java.lang.String selector)
Method Detail

get_selector

public java.lang.String get_selector()
Specified by:
get_selector in class ASTPattern

get_arguments

public java.util.List<ASTVariable> get_arguments()
Specified by:
get_arguments in class ASTPattern