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 |
Line | |
---|---|
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.