DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

minor changes 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-05-02 02:22:42 +00:00
parent 2f5f87ce03
commit 9cdd4f4791
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core/src/com/ibm/wala/logic/BasicTheory.java
View File

@ -13,7 +13,7 @@ package com.ibm.wala.logic;
import java.util.Collection;
public class BasicTheory implements ITheory {
public class BasicTheory extends AbstractTheory {
private final IVocabulary vocab;
private final Collection<? extends IFormula> sentences;

6
com.ibm.wala.core/src/com/ibm/wala/logic/BasicVocabulary.java
View File

@ -24,7 +24,7 @@ import com.ibm.wala.util.intset.OrdinalSetMapping;
* @author sjfink
*
*/
public class BasicVocabulary<T> implements IVocabulary<T> {
public class BasicVocabulary<T> extends AbstractVocabulary<T> {
private final Collection<? extends IFunction> functions;
private final Collection<? extends IRelation> relations;
@ -56,6 +56,10 @@ public class BasicVocabulary<T> implements IVocabulary<T> {
Collection<IRelation> empty = Collections.emptySet();
return new BasicVocabulary<T>(f, empty);
}
public static <T> BasicVocabulary make(Collection<IFunction> f, Collection<IRelation> r) {
return new BasicVocabulary<T>(f, r);
}
public OrdinalSetMapping<T> getConstants() {
// TODO: implement empty mapping