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

tweak generics to allow subclasses to mutate sentences 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-09-04 14:45:44 +00:00
parent 5ad86df436
commit fbb8c66434
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,18 +15,18 @@ import java.util.Collection;
public class BasicTheory extends AbstractTheory {
private final IVocabulary vocab;
private final Collection<? extends IFormula> sentences;
private final Collection<IFormula> sentences;
protected BasicTheory(IVocabulary vocab, Collection<? extends IFormula> sentences) {
protected BasicTheory(IVocabulary vocab, Collection<IFormula> sentences) {
this.vocab = vocab;
this.sentences = sentences;
}
public static BasicTheory make(IVocabulary vocab, Collection<? extends IFormula> sentences) {
public static BasicTheory make(IVocabulary vocab, Collection<IFormula> sentences) {
return new BasicTheory(vocab, sentences);
}
public Collection<? extends IFormula> getSentences() {
public Collection<IFormula> getSentences() {
return sentences;
}