cz.cuni.mff.ksi.jinfer.base.interfaces.inference
Interface SchemaGeneratorCallback
public interface SchemaGeneratorCallback
Interface defining a response to SchemaGenerator finishing its work.
Method Summary |
void |
finished(String schema,
String extension)
This method is called by a SchemaGenerator implementation, after it has
finished its work. |
finished
void finished(String schema,
String extension)
- This method is called by a SchemaGenerator implementation, after it has
finished its work.
- Parameters:
schema
- String representation of the generated schema.extension
- File extension of the generated schema, for example "dtd" or "xsd".
Generated on Fri Dec 9 00:01:25 CET 2011