Daikon version 5.2.4, released May 1, 2015; http://plse.cs.washington.edu/daikon. Reading declaration files [20:08:26]: Processing trace data; reading 1 dtrace file: [20:08:27]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik [20:08:28]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik [20:08:29]: Finished reading D:\workshop\t2framework\repos\experiments\strucOra The --output_num_samples debugging flag is on. Some of the debugging output may only make sense to Daikon programmers. =========================================================================== baseClassname(String):::ENTER 1229 samples Variables: arg0 =========================================================================== baseClassname(String):::EXIT 1229 samples Variables: arg0 exception return return.CASE_INSENSITIVE_ORDER orig(arg0) Unmodified variables: arg0 exception one of { "", "java.lang.NullPointerException" } (1229 samples) return.CASE_INSENSITIVE_ORDER != null (1229 samples) arg0 <= return (1229 samples) arg0 == orig(arg0) (1229 samples) =========================================================================== closeQuietly(Closeable):::ENTER 1140 samples Variables: arg0 arg0 != null (1140 samples) =========================================================================== closeQuietly(Closeable):::EXIT 1140 samples Variables: arg0 exception return orig(arg0) Modified variables: arg0 arg0 != null (1140 samples) exception == "" (1140 samples) return != null (1140 samples) [No samples for com.puppycrawl.tools.checkstyle.api.Utils():::ENTER] =========================================================================== com.puppycrawl.tools.checkstyle.api.Utils():::EXIT 4324 samples Variables: exception return exception == "" (4324 samples) return != null (4324 samples) =========================================================================== createPattern(String):::ENTER 1239 samples Variables: arg0 =========================================================================== createPattern(String):::EXIT 1239 samples Variables: arg0 exception return return.UNIX_LINES return.CASE_INSENSITIVE return.COMMENTS return.MULTILINE return.LITERAL return.DOTALL return.UNICODE_CASE return.CANON_EQ return.UNICODE_CHARACTER_CLASS orig(arg0) Unmodified variables: arg0 exception one of { "", "java.lang.NullPointerException" } (1239 samples) return != null (1239 samples) return.UNIX_LINES one of { 0, 1 } (1239 samples) return.CASE_INSENSITIVE one of { 0, 2 } (1239 samples) return.COMMENTS one of { 0, 4 } (1239 samples) return.MULTILINE one of { 0, 8 } (1239 samples) return.LITERAL one of { 0, 16 } (1239 samples) return.DOTALL one of { 0, 32 } (1239 samples) return.UNICODE_CASE one of { 0, 64 } (1239 samples) return.CANON_EQ one of { 0, 128 } (1239 samples) return.UNICODE_CHARACTER_CLASS one of { 0, 256 } (1239 samples) arg0 == orig(arg0) (1239 samples) return.UNIX_LINES <= return.CASE_INSENSITIVE (1239 samples) return.UNIX_LINES <= return.COMMENTS (1239 samples) return.UNIX_LINES <= return.MULTILINE (1239 samples) return.UNIX_LINES <= return.LITERAL (1239 samples) return.UNIX_LINES <= return.DOTALL (1239 samples) return.UNIX_LINES <= return.UNICODE_CASE (1239 samples) return.UNIX_LINES <= return.CANON_EQ (1239 samples) return.UNIX_LINES <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.CASE_INSENSITIVE <= return.COMMENTS (1239 samples) return.CASE_INSENSITIVE <= return.MULTILINE (1239 samples) return.CASE_INSENSITIVE <= return.LITERAL (1239 samples) return.CASE_INSENSITIVE <= return.DOTALL (1239 samples) return.CASE_INSENSITIVE <= return.UNICODE_CASE (1239 samples) return.CASE_INSENSITIVE <= return.CANON_EQ (1239 samples) return.CASE_INSENSITIVE <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.COMMENTS <= return.MULTILINE (1239 samples) return.COMMENTS <= return.LITERAL (1239 samples) return.COMMENTS <= return.DOTALL (1239 samples) return.COMMENTS <= return.UNICODE_CASE (1239 samples) return.COMMENTS <= return.CANON_EQ (1239 samples) return.COMMENTS <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.MULTILINE <= return.LITERAL (1239 samples) return.MULTILINE <= return.DOTALL (1239 samples) return.MULTILINE <= return.UNICODE_CASE (1239 samples) return.MULTILINE <= return.CANON_EQ (1239 samples) return.MULTILINE <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.LITERAL <= return.DOTALL (1239 samples) return.LITERAL <= return.UNICODE_CASE (1239 samples) return.LITERAL <= return.CANON_EQ (1239 samples) return.LITERAL <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.DOTALL <= return.UNICODE_CASE (1239 samples) return.DOTALL <= return.CANON_EQ (1239 samples) return.DOTALL <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.UNICODE_CASE <= return.CANON_EQ (1239 samples) return.UNICODE_CASE <= return.UNICODE_CHARACTER_CLASS (1239 samples) return.CANON_EQ <= return.UNICODE_CHARACTER_CLASS (1239 samples) =========================================================================== getLines(String):::ENTER 341 samples Variables: arg0 =========================================================================== getLines(String):::EXIT 341 samples Variables: arg0 exception return[] orig(arg0) size(return[]) size(return[])-1 Unmodified variables: arg0 exception one of { "", "java.io.FileNotFoundException", "java.lang.NullPointerException" } (341 samples) return[] == [] (341 samples) arg0 != exception (341 samples) arg0 == orig(arg0) (341 samples) =========================================================================== getLines(String,String):::ENTER 323 samples Variables: arg0 arg1 =========================================================================== getLines(String,String):::EXIT 323 samples Variables: arg0 arg1 exception return orig(arg0) orig(arg1) Unmodified variables: arg0 arg1 exception one of { "java.io.FileNotFoundException", "java.io.UnsupportedEncodingException", "java.lang.NullPointerException" } (323 samples) return != null (323 samples) arg0 < exception (323 samples) arg0 == orig(arg0) (323 samples) arg1 < exception (323 samples) arg1 == orig(arg1) (323 samples) =========================================================================== getPattern(String):::ENTER 341 samples Variables: arg0 =========================================================================== getPattern(String):::EXIT 341 samples Variables: arg0 exception return return.UNIX_LINES return.CASE_INSENSITIVE return.COMMENTS return.MULTILINE return.LITERAL return.DOTALL return.UNICODE_CASE return.CANON_EQ return.UNICODE_CHARACTER_CLASS orig(arg0) Unmodified variables: arg0 exception one of { "", "java.lang.NullPointerException" } (341 samples) return != null (341 samples) return.UNIX_LINES one of { 0, 1 } (341 samples) return.CASE_INSENSITIVE one of { 0, 2 } (341 samples) return.COMMENTS one of { 0, 4 } (341 samples) return.MULTILINE one of { 0, 8 } (341 samples) return.LITERAL one of { 0, 16 } (341 samples) return.DOTALL one of { 0, 32 } (341 samples) return.UNICODE_CASE one of { 0, 64 } (341 samples) return.CANON_EQ one of { 0, 128 } (341 samples) return.UNICODE_CHARACTER_CLASS one of { 0, 256 } (341 samples) arg0 == orig(arg0) (341 samples) return.UNIX_LINES <= return.CASE_INSENSITIVE (341 samples) return.UNIX_LINES <= return.COMMENTS (341 samples) return.UNIX_LINES <= return.MULTILINE (341 samples) return.UNIX_LINES <= return.LITERAL (341 samples) return.UNIX_LINES <= return.DOTALL (341 samples) return.UNIX_LINES <= return.UNICODE_CASE (341 samples) return.UNIX_LINES <= return.CANON_EQ (341 samples) return.UNIX_LINES <= return.UNICODE_CHARACTER_CLASS (341 samples) return.CASE_INSENSITIVE <= return.COMMENTS (341 samples) return.CASE_INSENSITIVE <= return.MULTILINE (341 samples) return.CASE_INSENSITIVE <= return.LITERAL (341 samples) return.CASE_INSENSITIVE <= return.DOTALL (341 samples) return.CASE_INSENSITIVE <= return.UNICODE_CASE (341 samples) return.CASE_INSENSITIVE <= return.CANON_EQ (341 samples) return.CASE_INSENSITIVE <= return.UNICODE_CHARACTER_CLASS (341 samples) return.COMMENTS <= return.MULTILINE (341 samples) return.COMMENTS <= return.LITERAL (341 samples) return.COMMENTS <= return.DOTALL (341 samples) return.COMMENTS <= return.UNICODE_CASE (341 samples) return.COMMENTS <= return.CANON_EQ (341 samples) return.COMMENTS <= return.UNICODE_CHARACTER_CLASS (341 samples) return.MULTILINE <= return.LITERAL (341 samples) return.MULTILINE <= return.DOTALL (341 samples) return.MULTILINE <= return.UNICODE_CASE (341 samples) return.MULTILINE <= return.CANON_EQ (341 samples) return.MULTILINE <= return.UNICODE_CHARACTER_CLASS (341 samples) return.LITERAL <= return.DOTALL (341 samples) return.LITERAL <= return.UNICODE_CASE (341 samples) return.LITERAL <= return.CANON_EQ (341 samples) return.LITERAL <= return.UNICODE_CHARACTER_CLASS (341 samples) return.DOTALL <= return.UNICODE_CASE (341 samples) return.DOTALL <= return.CANON_EQ (341 samples) return.DOTALL <= return.UNICODE_CHARACTER_CLASS (341 samples) return.UNICODE_CASE <= return.CANON_EQ (341 samples) return.UNICODE_CASE <= return.UNICODE_CHARACTER_CLASS (341 samples) return.CANON_EQ <= return.UNICODE_CHARACTER_CLASS (341 samples) =========================================================================== getPattern(String,int):::ENTER 314 samples Variables: arg0 arg1 =========================================================================== getPattern(String,int):::EXIT 314 samples Variables: arg0 arg1 exception return return.UNIX_LINES return.CASE_INSENSITIVE return.COMMENTS return.MULTILINE return.LITERAL return.DOTALL return.UNICODE_CASE return.CANON_EQ return.UNICODE_CHARACTER_CLASS orig(arg0) orig(arg1) Unmodified variables: arg0 arg1 arg1 == orig(arg1) (314 samples) exception one of { "", "java.lang.NullPointerException" } (314 samples) return != null (314 samples) return.UNIX_LINES one of { 0, 1 } (314 samples) return.CASE_INSENSITIVE one of { 0, 2 } (314 samples) return.COMMENTS one of { 0, 4 } (314 samples) return.MULTILINE one of { 0, 8 } (314 samples) return.LITERAL one of { 0, 16 } (314 samples) return.DOTALL one of { 0, 32 } (314 samples) return.UNICODE_CASE one of { 0, 64 } (314 samples) return.CANON_EQ one of { 0, 128 } (314 samples) return.UNICODE_CHARACTER_CLASS one of { 0, 256 } (314 samples) arg0 == orig(arg0) (314 samples) return.UNIX_LINES <= return.CASE_INSENSITIVE (314 samples) return.UNIX_LINES <= return.COMMENTS (314 samples) return.UNIX_LINES <= return.MULTILINE (314 samples) return.UNIX_LINES <= return.LITERAL (314 samples) return.UNIX_LINES <= return.DOTALL (314 samples) return.UNIX_LINES <= return.UNICODE_CASE (314 samples) return.UNIX_LINES <= return.CANON_EQ (314 samples) return.UNIX_LINES <= return.UNICODE_CHARACTER_CLASS (314 samples) return.CASE_INSENSITIVE <= return.COMMENTS (314 samples) return.CASE_INSENSITIVE <= return.MULTILINE (314 samples) return.CASE_INSENSITIVE <= return.LITERAL (314 samples) return.CASE_INSENSITIVE <= return.DOTALL (314 samples) return.CASE_INSENSITIVE <= return.UNICODE_CASE (314 samples) return.CASE_INSENSITIVE <= return.CANON_EQ (314 samples) return.CASE_INSENSITIVE <= return.UNICODE_CHARACTER_CLASS (314 samples) return.COMMENTS <= return.MULTILINE (314 samples) return.COMMENTS <= return.LITERAL (314 samples) return.COMMENTS <= return.DOTALL (314 samples) return.COMMENTS <= return.UNICODE_CASE (314 samples) return.COMMENTS <= return.CANON_EQ (314 samples) return.COMMENTS <= return.UNICODE_CHARACTER_CLASS (314 samples) return.MULTILINE <= return.LITERAL (314 samples) return.MULTILINE <= return.DOTALL (314 samples) return.MULTILINE <= return.UNICODE_CASE (314 samples) return.MULTILINE <= return.CANON_EQ (314 samples) return.MULTILINE <= return.UNICODE_CHARACTER_CLASS (314 samples) return.LITERAL <= return.DOTALL (314 samples) return.LITERAL <= return.UNICODE_CASE (314 samples) return.LITERAL <= return.CANON_EQ (314 samples) return.LITERAL <= return.UNICODE_CHARACTER_CLASS (314 samples) return.DOTALL <= return.UNICODE_CASE (314 samples) return.DOTALL <= return.CANON_EQ (314 samples) return.DOTALL <= return.UNICODE_CHARACTER_CLASS (314 samples) return.UNICODE_CASE <= return.CANON_EQ (314 samples) return.UNICODE_CASE <= return.UNICODE_CHARACTER_CLASS (314 samples) return.CANON_EQ <= return.UNICODE_CHARACTER_CLASS (314 samples) =========================================================================== getStrippedFileName(String,String):::ENTER 319 samples Variables: arg0 arg1 =========================================================================== getStrippedFileName(String,String):::EXIT 319 samples Variables: arg0 arg1 exception return return.CASE_INSENSITIVE_ORDER orig(arg0) orig(arg1) Unmodified variables: arg0 arg1 exception one of { "", "java.lang.NullPointerException", "java.lang.StringIndexOutOfBoundsException" } (319 samples) return.CASE_INSENSITIVE_ORDER != null (319 samples) arg0 == orig(arg0) (319 samples) arg1 == orig(arg1) (319 samples) =========================================================================== lengthExpandedTabs(String,int,int):::ENTER 2668 samples Variables: arg0 arg1 arg2 =========================================================================== lengthExpandedTabs(String,int,int):::EXIT 2668 samples Variables: arg0 arg1 arg2 exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES orig(arg0) orig(arg1) orig(arg2) Unmodified variables: arg0 arg1 arg2 arg1 == orig(arg1) (2668 samples) arg2 == orig(arg2) (2668 samples) return.MIN_VALUE one of { -2147483648, 0 } (2668 samples) return.MAX_VALUE one of { 0, 2147483647 } (2668 samples) return.TYPE != null (2668 samples) return.SIZE one of { 0, 32 } (2668 samples) return.BYTES one of { 0, 4 } (2668 samples) arg0 == orig(arg0) (2668 samples) return >= return.MIN_VALUE (2668 samples) return <= return.MAX_VALUE (2668 samples) return.MIN_VALUE <= return.MAX_VALUE (2668 samples) return.MIN_VALUE <= return.SIZE (2668 samples) return.MIN_VALUE <= return.BYTES (2668 samples) return.MAX_VALUE >= return.SIZE (2668 samples) return.MAX_VALUE >= return.BYTES (2668 samples) return.SIZE >= return.BYTES (2668 samples) =========================================================================== lengthMinusTrailingWhitespace(String):::ENTER 1255 samples Variables: arg0 =========================================================================== lengthMinusTrailingWhitespace(String):::EXIT 1255 samples Variables: arg0 exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES orig(arg0) Unmodified variables: arg0 exception one of { "", "java.lang.NullPointerException" } (1255 samples) return >= 0 (1255 samples) return.MIN_VALUE one of { -2147483648, 0 } (1255 samples) return.MAX_VALUE one of { 0, 2147483647 } (1255 samples) return.TYPE != null (1255 samples) return.SIZE one of { 0, 32 } (1255 samples) return.BYTES one of { 0, 4 } (1255 samples) arg0 == orig(arg0) (1255 samples) return >= return.MIN_VALUE (1255 samples) return <= return.MAX_VALUE (1255 samples) return <= return.SIZE (1255 samples) return.MIN_VALUE <= return.MAX_VALUE (1255 samples) return.MIN_VALUE <= return.SIZE (1255 samples) return.MIN_VALUE <= return.BYTES (1255 samples) return.MAX_VALUE >= return.SIZE (1255 samples) return.MAX_VALUE >= return.BYTES (1255 samples) return.SIZE >= return.BYTES (1255 samples) =========================================================================== whitespaceBefore(int,String):::ENTER 1715 samples Variables: arg0 arg1 =========================================================================== whitespaceBefore(int,String):::EXIT 1715 samples Variables: arg0 arg1 exception return return.TRUE return.FALSE return.TYPE orig(arg0) orig(arg1) Unmodified variables: arg0 arg1 arg0 == orig(arg0) (1715 samples) exception one of { "", "java.lang.NullPointerException", "java.lang.StringIndexOutOfBoundsException" } (1715 samples) return.FALSE == false (1715 samples) return.TYPE != null (1715 samples) arg1 == orig(arg1) (1715 samples) =========================================================================== Variables: non_canonical_variables = 0 can_be_missing_variables = 0 canonical_variables = 0 total variables = 0 Derivation: derived_variables = 2 suppressed derived variables = 0 nonsensical_suppressed_derived_variables = 0 tautological_suppressed_derived_variables = 0 Inference: Non-instantiated: 0 true = 0 implied_noninstantiated_invariants = 0 subexact_noninstantiated_invariants = 0 false = 0 implied_false_noninstantiated_invariants = 0 partially_implied_invariants = 0 Instantiated: 3547 = 2680 falsified_invariants = 1516 non_falsified_invariants = 1164 = 207 unjustified = 0 too_few_samples_invariants = 0 unjustified_invariants = 0 implied = 0 non_canonical_invariants = 0 obvious_invariants = 0 reported_invariants = 207 Exiting Daikon.