public class KnownUnsoundnesses
extends java.lang.Object
Constructor and Description |
---|
KnownUnsoundnesses() |
Modifier and Type | Method and Description |
---|---|
static boolean |
isJalangiUnsoundLocation(SourceLocation sourceLocation) |
static boolean |
isSyntaxFailureFile(java.nio.file.Path mainFile) |
static boolean |
isTAJSUnsoundLocation(SourceLocation sourceLocation) |
static boolean |
isUninspectedUnsoundFile(java.nio.file.Path mainFile) |
static boolean |
isUninspectedUnsoundLocation(SourceLocation sourceLocation) |
static boolean |
isUnloggableMainFile(java.nio.file.Path mainFile) |
static boolean |
isUnsoundLocation(SourceLocation location) |
public static boolean isJalangiUnsoundLocation(SourceLocation sourceLocation)
public static boolean isSyntaxFailureFile(java.nio.file.Path mainFile)
public static boolean isTAJSUnsoundLocation(SourceLocation sourceLocation)
public static boolean isUninspectedUnsoundFile(java.nio.file.Path mainFile)
public static boolean isUninspectedUnsoundLocation(SourceLocation sourceLocation)
public static boolean isUnloggableMainFile(java.nio.file.Path mainFile)
public static boolean isUnsoundLocation(SourceLocation location)
Copyright © 2009-2019 Aarhus University