Constant Field Values

Contents

it.unive.*

  • it.unive.lisa.LiSA 
    Modifier and Type Constant Field Value
    public static final java.lang.String REPORT_NAME "report.json"
  • it.unive.lisa.VersionInfo 
    Modifier and Type Constant Field Value
    public static final java.lang.String VERSION "0.1"
  • it.unive.lisa.analysis.AnalyzedCFG<A extends AbstractState<A>> 
    Modifier and Type Constant Field Value
    protected static final java.lang.String CANNOT_COMPARE_ERROR "Cannot compare two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_GLB_ERROR "Cannot glb two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_LUB_ERROR "Cannot lub two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_NARROW_ERROR "Cannot perform narrow two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_WIDEN_ERROR "Cannot widen two graphs with different descriptor or different IDs"
  • it.unive.lisa.analysis.BackwardAnalyzedCFG<A extends AbstractState<A>> 
    Modifier and Type Constant Field Value
    protected static final java.lang.String CANNOT_COMPARE_ERROR "Cannot compare two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_GLB_ERROR "Cannot glb two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_LUB_ERROR "Cannot lub two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_NARROW_ERROR "Cannot perform narrow two graphs with different descriptor or different IDs"
    protected static final java.lang.String CANNOT_WIDEN_ERROR "Cannot widen two graphs with different descriptor or different IDs"
  • it.unive.lisa.analysis.Lattice<L extends Lattice<L>> 
    Modifier and Type Constant Field Value
    public static final java.lang.String BOTTOM_STRING "_|_"
    public static final java.lang.String TOP_STRING "#TOP#"
  • it.unive.lisa.analysis.symbols.SymbolAliasing 
    Modifier and Type Constant Field Value
    public static final java.lang.String INFO_KEY "sym-aliasing"
  • it.unive.lisa.outputs.DotGraph 
    Modifier and Type Constant Field Value
    protected static final java.lang.String COLOR "color"
    protected static final java.lang.String COLOR_BLACK "black"
    protected static final java.lang.String COLOR_BLUE "blue"
    protected static final java.lang.String COLOR_GRAY "gray"
    protected static final java.lang.String COLOR_RED "red"
    protected static final java.lang.String CONDITIONAL_EDGE_STYLE "dashed"
    protected static final java.lang.String EXIT_NODE_EXTRA_ATTR "peripheries"
    protected static final java.lang.String EXIT_NODE_EXTRA_VALUE "2"
    protected static final java.lang.String LABEL "label"
    protected static final java.lang.String NODE_SHAPE "rect"
    protected static final java.lang.String NORMAL_NODE_COLOR "gray"
    protected static final java.lang.String SHAPE "shape"
    protected static final java.lang.String SPECIAL_NODE_COLOR "black"
    protected static final java.lang.String STYLE "style"
  • it.unive.lisa.program.Program 
    Modifier and Type Constant Field Value
    public static final java.lang.String PROGRAM_NAME "~LiSAProgram"
  • it.unive.lisa.program.language.validation.BaseValidationLogic 
    Modifier and Type Constant Field Value
    public static final java.lang.String ABSTRACT_METHODS "%s is not abstract and cannot have abstract code members"
    public static final java.lang.String ABSTRACT_NON_INSTANCE "%s is not an instance member and cannot be abstract"
    public static final java.lang.String ABSTRACT_SEALED_UNIT "%s is abstract and cannot be sealed"
    public static final java.lang.String CANNOT_OVERRIDE "%s overrides the non-overridable member %s"
    public static final java.lang.String CONST_INSTANCE_GLOBAL "%s is a constant global and cannot be declared as instance"
    public static final java.lang.String DUPLICATE_MEMBER "%s is duplicated within unit %s"
    public static final java.lang.String EXIT_WITH_FOLLOWERS "%s contains an execution-stopping node that has followers: %s"
    public static final java.lang.String GLOBAL_INSTANCE_MISMATCH "%s has a mismatched instance flag (%s, while being %s)"
    public static final java.lang.String INHERIT_FROM_SEALED "%s cannot inherit from the sealed unit %s"
    public static final java.lang.String INTERFACE_WITH_GLOBALS "%s is an interface and cannot have instange globals"
    public static final java.lang.String INVALID_CFSTRUCTURE "%s has a conditional structure (%s) that contains a node not in the graph: %s"
    public static final java.lang.String INVALID_NODE_LIST "The node list behind %s is invalid"
    public static final java.lang.String MEMBER_MISMATCH "%s does not match its own signature"
    public static final java.lang.String MISSING_OVERRIDE "%s does not override %s from the non-instantiable unit %s"
    public static final java.lang.String MULTIPLE_OVERRIDES "%s is overriden multiple times in unit %s: %s"
    public static final java.lang.String NO_FOLLOWERS "%s contains a node with no followers that is not execution-stopping: %s"
    public static final java.lang.String UNKNOWN_ENTRYPOINTS "Program contains entrypoints that are not part of the program: %s"
  • it.unive.lisa.util.datastructures.automaton.TransitionSymbol<T> 
    Modifier and Type Constant Field Value
    public static final java.lang.String EPSILON "\u03b5"
    public static final java.lang.String UNKNOWN_SYMBOL "\u0372"
  • it.unive.lisa.util.datastructures.graph.algorithms.BackwardFixpoint<G extends Graph<G,​N,​E>,​N extends Node<G,​N,​E>,​E extends Edge<G,​N,​E>,​T> 
    Modifier and Type Constant Field Value
    protected static final java.lang.String ERROR "Exception while %s of \'%s\' in \'%s\'"
  • it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint<G extends Graph<G,​N,​E>,​N extends Node<G,​N,​E>,​E extends Edge<G,​N,​E>,​T> 
    Modifier and Type Constant Field Value
    protected static final java.lang.String ERROR "Exception while %s of \'%s\' in \'%s\'"
  • it.unive.lisa.util.datastructures.regex.TopAtom 
    Modifier and Type Constant Field Value
    public static final java.lang.String STRING "\u0372"