source:
java/main/src/main/java/com/framsticks/params/Source.java
@
193
Last change on this file since 193 was 193, checked in by , 10 years ago | |
---|---|
|
|
File size: 217 bytes |
Rev | Line | |
---|---|---|
[101] | 1 | package com.framsticks.params; |
2 | ||
3 | public interface Source { | |
4 | String getFilename(); | |
5 | String readLine(); | |
6 | String demangleInclude(String include); | |
7 | Source openInclude(String include); | |
8 | void close(); | |
9 | boolean isClosed(); | |
10 | } |
Note: See TracBrowser
for help on using the repository browser.