[Soot-list] JBCO command line options/problems.

[Joe Pellegrino]

> I never had to
> specify this explicitly.. but it shouldn't hurt to add it ("-f c", as 
> I see you have included).

> > Even though I've set the -d switch and -f c switch they seem to be 
> > being ignored.

Yep I used them because the class files didn't seem to be generating I've
tried existing directories and one that would have to be created i.e. /tmp
and /tmp/create  what I do get is output (to the stdout) that looks like
this:

149 store.r $r26
150 push "Else IF Never Print"
151 load.r $r26
152 staticinvoke <TestObf: void main(java.lang.String,java.io.PrintStream)>
153 goto jsr pop   #161
154 jsr pop   #155
155 pop
156 staticget <java.lang.System: java.io.PrintStream out>
157 store.r $r27
158 push "Else Never Print"
159 load.r $r27
160 staticinvoke <TestObf: void main(java.lang.String,java.io.PrintStream)>
161 jsr pop   #162
162 pop
163 inc.i i0 1
164 goto jsr pop   #80
165 jsr pop   #166
166 pop
167 return
168 pop
169 load.r r0
170 jsr pop   #10
3 virtualinvoke <java.lang.Object: java.lang.String toString()> to 7 goto
goto s pecialinvoke <java.lang.Object: void <init>()>  at 168 pop
3 virtualinvoke <java.lang.Object: java.lang.String toString()> to 5 push
null at 8 pop
^M      JSR Instructions: 8

> The JBCO help command is "-jbco:help". For further information, try 
> Chapter 8 of my thesis (specifically 8.1, the JBCO User Interface), 
> which can be found here:

> http://www.sable.mcgill.ca/publications/thesis/#michaelsMastersThesis

I've been flipping through it but I'll jump ahead. Thanks for you help by
the way. :)