Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

forgot to declare methods as "public"

  • Loading branch information...
commit 38c3f939807e97a32cd24367853bdeffa4a69802 1 parent ee5453a
Daniel Plagge authored
View
10 theorymapping/src/main/java/de/prob/tmparser/TheoryMappingParser.java
@@ -14,14 +14,16 @@
import de.prob.tmparser.internal.MappingVisitor;
public class TheoryMappingParser {
- static Collection<OperatorMapping> parseTheoryMapping(String theoryName,
- String filename) throws TheoryMappingException, IOException {
+ static public Collection<OperatorMapping> parseTheoryMapping(
+ String theoryName, String filename) throws TheoryMappingException,
+ IOException {
final Reader input = new FileReader(filename);
return parseTheoryMapping(theoryName, input);
}
- static Collection<OperatorMapping> parseTheoryMapping(String theoryName,
- Reader input) throws TheoryMappingException, IOException {
+ static public Collection<OperatorMapping> parseTheoryMapping(
+ String theoryName, Reader input) throws TheoryMappingException,
+ IOException {
Start ast;
try {
ast = parse(input);
Please sign in to comment.
Something went wrong with that request. Please try again.