Exemplos de Term.assertCond em Java

Exemplo n.º 1

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 void close() {
   Term.assertCond(hStream != null);
   cstream.close();
   hStream.close();
   cstream = null;
   hStream = null;
 }

Exemplo n.º 2

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 void hPrint(String s) {
   Term.assertCond(hStream != null);
   hStream.print(s);
 }

Exemplo n.º 3

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 void hCloseOnly() {
   Term.assertCond(hStream != null);
   hStream.close();
 }

Exemplo n.º 4

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 void fileClose() {
   Term.assertCond(hStream != null);
   cstream.fileClose();
   hStream.fileClose();
 }

Exemplo n.º 5

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 void instancePrint(String s) {
   Term.assertCond(hStream != null);
   instanceSBuf.append(s);
 }

Exemplo n.º 6

Arquivo: OutputContext.java Projeto: sourcewarehouse/JCGO

 static String getRcvrName(int rcvr, int type) {
   Term.assertCond(rcvr > 0);
   return "jcgo_rcvr"
       + Type.sig[type < Type.CLASSINTERFACE && type != Type.NULLREF ? type : Type.CLASSINTERFACE]
       + Integer.toString(rcvr);
 }