EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011)
[all classes][tuffy.mln]

COVERAGE SUMMARY FOR SOURCE FILE [Clause.java]

nameclass, %method, %block, %line, %
Clause.java100% (2/2)83%  (34/41)86%  (1881/2181)86%  (346.2/402)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class Clause100% (1/1)82%  (33/40)86%  (1869/2169)86%  (342.2/398)
clone (): Clause 0%   (0/1)0%   (0/143)0%   (0/28)
getConstraints (): ArrayList 0%   (0/1)0%   (0/3)0%   (0/1)
getSpecText (): ArrayList 0%   (0/1)0%   (0/3)0%   (0/1)
getSpecTextFlat (): String 0%   (0/1)0%   (0/5)0%   (0/1)
getVarWeight (): String 0%   (0/1)0%   (0/3)0%   (0/1)
isHardClause (): boolean 0%   (0/1)0%   (0/9)0%   (0/1)
setVarWeight (String): void 0%   (0/1)0%   (0/4)0%   (0/2)
addUserProvidedName (String): void 100% (1/1)38%  (3/8)67%  (2/3)
absorb (Clause): void 100% (1/1)61%  (23/38)62%  (5/8)
hasEmbeddedWeight (): boolean 100% (1/1)71%  (5/7)71%  (0.7/1)
addLiteral (Literal): void 100% (1/1)80%  (61/76)84%  (12.5/15)
toString (): String 100% (1/1)81%  (83/103)84%  (6.8/8)
addExistentialVariable (String): boolean 100% (1/1)86%  (12/14)90%  (2.7/3)
addMetaVariable (String, Type): boolean 100% (1/1)89%  (17/19)93%  (3.7/4)
generateSQL (): void 100% (1/1)91%  (449/496)91%  (82.1/90)
toString (int): String 100% (1/1)96%  (68/71)97%  (8.8/9)
normalize (): Clause 100% (1/1)97%  (579/595)98%  (97.9/100)
sealClauseInstances (RDB): void 100% (1/1)99%  (234/237)95%  (39/41)
<static initializer> 100% (1/1)100% (5/5)100% (3/3)
Clause (): void 100% (1/1)100% (105/105)100% (29/29)
addConstraint (Expression): void 100% (1/1)100% (6/6)100% (2/2)
addSpecText (String): void 100% (1/1)100% (6/6)100% (2/2)
checkVariableSafety (): void 100% (1/1)100% (83/83)100% (15/15)
getConstaintStringAsLits (): String 100% (1/1)100% (49/49)100% (7/7)
getId (): int 100% (1/1)100% (3/3)100% (1/1)
getLiteralsOfPredicate (Predicate): ArrayList 100% (1/1)100% (6/6)100% (1/1)
getName (): String 100% (1/1)100% (3/3)100% (1/1)
getReferencedPredicates (): Set 100% (1/1)100% (4/4)100% (1/1)
getRegLiterals (): ArrayList 100% (1/1)100% (3/3)100% (1/1)
getSignature (): String 100% (1/1)100% (3/3)100% (1/1)
getWeight (): double 100% (1/1)100% (3/3)100% (1/1)
getWeightExp (): String 100% (1/1)100% (3/3)100% (1/1)
hasExistentialQuantifiers (): boolean 100% (1/1)100% (8/8)100% (1/1)
isPositiveClause (): boolean 100% (1/1)100% (9/9)100% (1/1)
isTemplate (): boolean 100% (1/1)100% (3/3)100% (1/1)
prepareForDB (RDB): void 100% (1/1)100% (6/6)100% (3/3)
setHardWeight (): void 100% (1/1)100% (4/4)100% (2/2)
setId (int): void 100% (1/1)100% (4/4)100% (2/2)
setName (String): void 100% (1/1)100% (15/15)100% (3/3)
setWeight (double): void 100% (1/1)100% (4/4)100% (2/2)
     
class Clause$ClauseInstance100% (1/1)100% (1/1)100% (12/12)100% (4/4)
Clause$ClauseInstance (Clause, ArrayList, double): void 100% (1/1)100% (12/12)100% (4/4)

[source file 'tuffy/mln/Clause.java' not found in sourcepath]

[all classes][tuffy.mln]
EMMA 2.0.5312 (C) Vladimir Roubtsov