You want to execute "pandoc" when "⌘-R" is clicked, what would you do?
There are some ideas you need to understand.
Scope selection
Activation
Command
Environment Variables
Scope selection and Activation
Many of the keys are already assigned, so when you try to use the popular key such as "⌘-R", you need to select the scope. In other words, you need to teach TextMate that when you click "⌘-R" in markdown, it means something special.
Command
In command editor, you can give any UNIX command you want. And many of the predefined environment variables are already given.
Combining the command and variable, you can come up wit the following commands.
Python logging lets the information is shown to the screen, or written to a file. Without any file setup, the default action is to print out the info to the screen.
You have three levels of logging: debug > info > warning. The strongest level is debug, and the weakest is warning.
import logging
logging.warning('Watch out!') # will print a message to the console
logging.info('I told you so') # will not print anything
You can use "basicConfig()" method to login the info to the file. For level, if you choose "DEBUG", every debug/info/warning message is logged, with "INFO", only info/waring, and so on.
import logging
logging.basicConfig(filename='example.log',level=logging.DEBUG)
logging.debug('This message should go to the log file')
logging.info('So should this')
logging.warning('And this, too')
In order to use JPF/SPF, one needs a setup file in "~/.jpf/site.properties" file.
This setup file is a pointer that points where all the core files and extensions are located.
# JPF site configuration
user.home = DIRECTORY
jpf.home = ${user.home}/DIR1
jpf.libraries = DIR2
# can only expand system properties
jpf-core = ${jpf.libraries}/jpf-core
jpf-symbc = ${jpf.libraries}/jpf-symbc
extensions+=,${jpf-symbc}
The pointed directory has another "jpf.proterites" configuration files.
Inside the file, we have all the directory information that points to the jar file and others.
package a.b;
public class HelloA {
public int testRefactored (int refs, int flags) {
if (flags != 0)
return flags;
else if (refs != 0)
return refs;
return 10;
}
public static void main(String[] args) {
HelloA ex = new HelloA();
int ret = ex.testRefactored(0,0);
System.out.print(ret);
}
}
We need to compile this java code using debug flag "-g", and move the generated class file where the java can find it.
javac -g HelloA.java
mkdir -p a/b
Then, we need the setup file. In this setup file, one needs to specify the listener. In this listener example, it specifies the
listener class, and it should be located in somewhere where the "site.properties" can point to.
target = a.b.HelloA
basedir = PATH
rse.testFile = ${basedir}/HelloA.txt
symbolic.method= a.b.HelloA.testRefactored(sym#sym)
rse.testCases = true
listener = gov.nasa.jpf.porting.listener.RSESymbolicListener
#If we don't set the bounds then one of the constraints times out.
symbolic.min_int=-100
symbolic.max_int=100
symbolic.min_double=-1000.0
symbolic.max_double=1000.0
symbolic.undefined=0
Inside the "TestA" element, we have multiple "Source" elements.
The "Source" element has three attributes.
Maybe the most convenient way to parse this XML is using ElementTree with Python. You can get the root with getroot() method.
import xml.etree.ElementTree as ET
tree = ET.parse('setup.xml')
root = tree.getroot()
From the root (or any element object), you can get the element with find() method with the element name as parameter. You can get the element whatever you want likewise.
The interesting thing you notice is that the element object returns iterator that gives all the sub elements.
The element object also has the attrib dictionary that contains the attributes.
testA = root.find('TestA')
sources = testA.find('Source')
for source in testA: # testA returns all the sub elements.
print source.attrib
print source.attrib['numberOfParams']
print source.attrib['filePath']
print source.attrib['method']
This is the result to run the script.
{'numberOfParams': '2', 'method': 'method', 'filePath': 'Charlie'}
2
Charlie
method
Generating XML
You can crete the Element object with Element() with name of the element as a parameter.
root = ET.Element('data')
With SubElement with first parameter as the element object, and the second as the element name, one can
add sub elements. As element object has the attrib dictionary, by filling in the dictionary one can add attributes.
public int sub(int a, int b)
{
return a - b;
}
public int testRefactored (int refs, int flags) {
if (flags != 0)
return flags * sub(flags, flags*3);
else if (refs != 0)
return refs;
return 10;
}
JPF is smart enough to understand sub() method to give the correct constraints
RETURN ( * (flags_2_SYMINT- (flags_2_SYMINT * 3)
B.java
public int sub(int a, int b)
{
return a - b;
}
public int testRefactored (int refs, int flags) {
if (flags != 0)
return flags;
else if (refs != 0)
return refs;
return 10;
}
public int sub(int a, int b)
{
if (a > b)
return (a - b);
else
return (10*a + b);
}
public int test (int refs, int flags) {
if (flags != 0)
return flags * sub(flags, flags*3); << This line causes an issue
else if (refs != 0)
return refs;
return 10;
}
Inside the file, we have all the directory information that points to the jar file and others.
This is an example to get two summary files to execute the 