| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectgov.llnl.babel.symbols.AssertionExpression
gov.llnl.babel.symbols.UnaryExpression
public class UnaryExpression
| Field Summary | |
|---|---|
| static int | COMPLEMENT | 
| static int | IS | 
| static int | MINUS | 
| static int | NOOP | 
| static int | NOT | 
| static int | PLUS | 
| Fields inherited from class gov.llnl.babel.symbols.AssertionExpression | 
|---|
| d_context, ERROR_SEMANTIC_VALIDATION | 
| Constructor Summary | |
|---|---|
| UnaryExpression(int op,
                AssertionExpression expr,
                Context context)Construct a new object. | |
| Method Summary | |
|---|---|
|  java.lang.Object | accept(ExprVisitor ev,
       java.lang.Object data)Implement the "visitor pattern". | 
|  java.lang.String | cExpression(java.lang.String epvVar,
            int[] startInd)Return the C version of the expression. | 
|  java.util.ArrayList | getArrayIterMacros(java.lang.String epvVar,
                   int[] startInd)Return the list of array iteration macro messages, if any. | 
|  AssertionExpression | getExpression()Return the expression. | 
|  int | getNumArrayIterMacrosByType(char type)Returns the number of macros supported by this assertion of the specified type. | 
|  int | getOp()Return the unary operator. | 
|  java.lang.String | getOpSymbol()Return the symbol associated with the operator. | 
|  boolean | hasMethodCall()Return TRUE if the expression has at least one method call; otherwise, return FALSE. | 
|  boolean | hasPure()Return TRUE if the expression is PURE clause; otherwise, return FALSE. | 
|  boolean | hasReservedMethod(int type)Return TRUE if the expression is, or has, the specified reserved method call; otherwise, return FALSE. | 
|  boolean | hasResult()Return TRUE if the expression contains RESULT; otherwise, return FALSE. | 
|  boolean | hasUnreservedMethod(boolean any)Return TRUE if the method is any unreserved method (when any is TRUE) or it is an unreserved method with a throws clause (if any is FALSE); otherwise, return FALSE. | 
|  boolean | requiresExtendableContext()Return TRUE if extendable context is required to validate the expression; otherwise, return FALSE. | 
|  boolean | requiresMethodContext()Return TRUE if method context is required to validate the expression; otherwise, return FALSE. | 
|  java.lang.String | toString()Return the stringified version of the expression (in SIDL form). | 
| protected  void | validateSemantics(Extendable ext,
                  Method m)Validate the expression semantics, if necessary, within the context of the extendable and optional method. | 
| Methods inherited from class java.lang.Object | 
|---|
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait | 
| Field Detail | 
|---|
public static final int NOOP
public static final int COMPLEMENT
public static final int IS
public static final int MINUS
public static final int NOT
public static final int PLUS
| Constructor Detail | 
|---|
public UnaryExpression(int op,
                       AssertionExpression expr,
                       Context context)
                throws AssertionException
op - The operator associated with this unary expression.expr - The expression being paired with the operator.
AssertionException - The exception raised if the operator does not fall within 
                  the range of supported operators OR if the expression
                  is null.| Method Detail | 
|---|
public int getOp()
public java.lang.String getOpSymbol()
public AssertionExpression getExpression()
public boolean hasPure()
hasPure in class AssertionExpressionpublic boolean hasResult()
hasResult in class AssertionExpressionpublic boolean hasMethodCall()
hasMethodCall in class AssertionExpressionpublic boolean hasReservedMethod(int type)
hasReservedMethod in class AssertionExpressionpublic boolean hasUnreservedMethod(boolean any)
hasUnreservedMethod in class AssertionExpressionpublic boolean requiresExtendableContext()
requiresExtendableContext in class AssertionExpressionpublic boolean requiresMethodContext()
requiresMethodContext in class AssertionExpression
protected void validateSemantics(Extendable ext,
                                 Method m)
                          throws AssertionException
validateSemantics in class AssertionExpressionext - The interface or class that owns this expression.m - The method that owns this expression.
AssertionException - The exception that can be raised during validation.
public java.util.ArrayList getArrayIterMacros(java.lang.String epvVar,
                                              int[] startInd)
getArrayIterMacros in class AssertionExpressionpublic int getNumArrayIterMacrosByType(char type)
getNumArrayIterMacrosByType in class AssertionExpression
public java.lang.String cExpression(java.lang.String epvVar,
                                    int[] startInd)
cExpression in class AssertionExpressionpublic java.lang.String toString()
toString in class AssertionExpression
public java.lang.Object accept(ExprVisitor ev,
                               java.lang.Object data)
AssertionExpression
accept in class AssertionExpression| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||