org.jmlspecs.jml4.ast
Class JmlAstUtils

java.lang.Object
  org.jmlspecs.jml4.ast.JmlAstUtils

public final class JmlAstUtils
extends java.lang.Object

Field Summary

static boolean

useSupersToStringMethod

Method Summary

static void	assertNotNull(java.lang.Object o, java.lang.String msg)
static void	assertTrue(boolean b, java.lang.String msg)
static java.lang.String	concatWith(char[][] tokens, char separator)
static Expression	conjoin(java.util.List exprs)
static void	handleAnnotations(JmlTypeReference type, Annotation[] annotations, ProblemReporter problemReporter)

Methods inherited from class java.lang.Object

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

Field Detail

useSupersToStringMethod

public static final boolean useSupersToStringMethod

See Also:

Constant Field Values

Method Detail

concatWith

public static java.lang.String concatWith(char[][] tokens,
                                          char separator)

conjoin

public static Expression conjoin(java.util.List exprs)

handleAnnotations

public static void handleAnnotations(JmlTypeReference type,
                                     Annotation[] annotations,
                                     ProblemReporter problemReporter)

assertTrue

public static void assertTrue(boolean b,
                              java.lang.String msg)

assertNotNull

public static void assertNotNull(java.lang.Object o,
                                 java.lang.String msg)