EMMA Coverage Report (generated Sat Aug 20 11:00:51 CDT 2011)
[all classes][tuffy.ra]

COVERAGE SUMMARY FOR SOURCE FILE [AtomEx.java]

nameclass, %method, %block, %line, %
AtomEx.java0%   (0/1)0%   (0/7)0%   (0/43)0%   (0/13)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class AtomEx0%   (0/1)0%   (0/7)0%   (0/43)0%   (0/13)
AtomEx (Predicate): void 0%   (0/1)0%   (0/16)0%   (0/5)
appendTerm (Expression): void 0%   (0/1)0%   (0/12)0%   (0/3)
getArguments (): ArrayList 0%   (0/1)0%   (0/3)0%   (0/1)
getPred (): Predicate 0%   (0/1)0%   (0/3)0%   (0/1)
getVars (): HashSet 0%   (0/1)0%   (0/3)0%   (0/1)
isBuiltIn (): boolean 0%   (0/1)0%   (0/4)0%   (0/1)
toSQL (): String 0%   (0/1)0%   (0/2)0%   (0/1)

1package tuffy.ra;
2 
3import java.util.ArrayList;
4import java.util.HashSet;
5 
6import tuffy.mln.Predicate;
7 
8/**
9 * STILL IN DEVELOPMENT.
10 * An atomic formula with possibly functional arguments.
11 * 
12 */
13public class AtomEx{
14        private Predicate pred;
15        private ArrayList<Expression> args = new ArrayList<Expression>();
16        private HashSet<String> vars = new HashSet<String>();
17 
18        public ArrayList<Expression> getArguments(){
19                return args;
20        }
21        
22        public boolean isBuiltIn(){
23                return pred.isBuiltIn();
24        }
25        
26        public AtomEx(Predicate predicate){
27                this.pred = predicate;
28        }
29        
30        /**
31         * Returns the set of variable names in this literal.
32         */
33        public HashSet<String> getVars(){
34                return vars;
35        }
36 
37        /**
38         * Returns the predicate of this literal.
39         */
40        public Predicate getPred() {
41                return pred;
42        }
43 
44        public String toSQL(){
45                // cast argument into correct types
46                return null;
47        }
48        
49 
50        /**
51         * Appends a new term.
52         * 
53         * @param t the term to be appended
54         */
55        public void appendTerm(Expression t){
56                args.add(t);
57                vars.addAll(t.getVars());
58        }
59        
60        
61        
62}

[all classes][tuffy.ra]
EMMA 2.0.5312 EclEmma Fix 2 (C) Vladimir Roubtsov