ua.gradsoft.termware.debug
Class UnificationDebugStubJavaSourceObject

java.lang.Object
  javax.tools.SimpleJavaFileObject
      ua.gradsoft.termware.debug.DebugStubJavaSourceObject
          ua.gradsoft.termware.debug.UnificationDebugStubJavaSourceObject

All Implemented Interfaces:

FileObject, JavaFileObject

public class UnificationDebugStubJavaSourceObject
extends DebugStubJavaSourceObject

Source object for java debug stubs. Here we generate class with next mapping:

• name of class is the same, as name of system
• for each substituion top-level symbol X (i.e. ray of ITermTransformersStar) two methods are generated:
  • <X>_checkCondition; - called when unification with pattern is ok, but we yet not check conditions.
  • <X> -- called when condition is ok, and now we do substitution and action call.

Author:

Ruslan Shevchenko Ruslan@Shevchenko.Kiev.UA>

Nested Class Summary

Nested classes/interfaces inherited from interface javax.tools.JavaFileObject

JavaFileObject.Kind

Field Summary

Fields inherited from class ua.gradsoft.termware.debug.DebugStubJavaSourceObject

contents_, javaFname_, name_, packageName_, smap_

Fields inherited from class javax.tools.SimpleJavaFileObject

kind, uri

Constructor Summary

UnificationDebugStubJavaSourceObject(String javaFname, String packageName, String shortClassName, SourceCodeLocation termLocation)
Creates a new instance of UnificationDebugStubJavaSourceObject

Method Summary

protected void

generateContent()

Methods inherited from class ua.gradsoft.termware.debug.DebugStubJavaSourceObject

getCharContent, getSMap

Methods inherited from class javax.tools.SimpleJavaFileObject

delete, getAccessLevel, getKind, getLastModified, getName, getNestingKind, isNameCompatible, openInputStream, openOutputStream, openReader, openWriter, toString, toUri

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnificationDebugStubJavaSourceObject

public UnificationDebugStubJavaSourceObject(String javaFname,
                                            String packageName,
                                            String shortClassName,
                                            SourceCodeLocation termLocation)
                                     throws URISyntaxException

Creates a new instance of UnificationDebugStubJavaSourceObject

Throws:

URISyntaxException

Method Detail

generateContent

protected void generateContent()

Specified by:

generateContent in class DebugStubJavaSourceObject