def test_control_flow(self): self.assert_stmt('break;', model.Break()) self.assert_stmt('break label;', model.Break('label')) self.assert_stmt('continue;', model.Continue()) self.assert_stmt('continue label;', model.Continue('label')) self.assert_stmt('return;', model.Return()) self.assert_stmt('return 1;', model.Return(one)) self.assert_stmt('throw foo;', model.Throw(foo))
def test_while(self): self.assert_stmt('while(foo) return;', model.While(foo, body=model.Return())) self.assert_stmt('while(foo) { return; }', model.While(foo, body=model.Block([model.Return()]))) self.assert_stmt('do return; while(foo);', model.DoWhile(foo, body=model.Return())) self.assert_stmt( 'do { return; } while(foo);', model.DoWhile(foo, body=model.Block([model.Return()])))
def test_switch(self): default = model.SwitchCase(['default'], body=[model.Return()]) self.assert_stmt('switch(foo) {}', model.Switch(foo, [])) self.assert_stmt('switch(foo) { default: return; }', model.Switch(foo, [default])) case1 = model.SwitchCase([one], [model.Return(one)]) self.assert_stmt('switch(foo) { case 1: return 1; }', model.Switch(foo, [case1])) self.assert_stmt('switch(foo) { case 1: return 1; default: return; }', model.Switch(foo, [case1, default])) case12 = model.SwitchCase([one, two], [model.Return(three)]) self.assert_stmt('switch(foo) { case 1: case 2: return 3; }', model.Switch(foo, [case12])) self.assert_stmt('switch(foo) { case 1: case 2: return 3; default: return; }', model.Switch(foo, [case12, default]))
def test_for(self): initializer = model.VariableDeclaration('int', [model.VariableDeclarator(model.Variable('i'), initializer=zero)]) predicate = model.BinaryExpression('<', i, ten) update = model.Unary('x++', i) self.assert_stmt('for(;;);', model.For(None, None, None, body=None)) self.assert_stmt('for(;;) return;', model.For(None, None, None, body=model.Return())) self.assert_stmt('for(;;) { return; }', model.For(None, None, None, body=model.Block([model.Return()]))) self.assert_stmt('for(int i=0;;) return;', model.For(initializer, None, None, body=model.Return())) self.assert_stmt('for(;i<10;) return;', model.For(None, predicate, None, body=model.Return())) self.assert_stmt('for(;;i++) return;', model.For(None, None, [update], body=model.Return())) self.assert_stmt('for(int i=0; i<10; i++) return;', model.For(initializer, predicate, [update], body=model.Return())) initializer2 = [model.Assignment('=', i, zero), model.Assignment('=', j, ten)] self.assert_stmt('for(i=0, j=10;;) return;', model.For(initializer2, None, None, body=model.Return())) update2 = model.Unary('x++', j) self.assert_stmt('for(;;i++, j++) return;', model.For(None, None, [update, update2], body=model.Return())) self.assert_stmt('for(int i : foo) return;', model.ForEach('int', model.Variable('i'), foo, body=model.Return()))
def test_if(self): self.assert_stmt('if(foo) return;', model.IfThenElse(foo, if_true=model.Return())) self.assert_stmt('if(foo) { return; }', model.IfThenElse(foo, if_true=model.Block([model.Return()]))) r1 = model.Return(result=one) r2 = model.Return(result=two) self.assert_stmt('if(foo) return 1; else return 2;', model.IfThenElse(foo, if_true=r1, if_false=r2)) self.assert_stmt('if(foo) {return 1;} else return 2;', model.IfThenElse(foo, if_true=model.Block([r1]), if_false=r2)) self.assert_stmt('if(foo) return 1; else {return 2;}', model.IfThenElse(foo, if_true=r1, if_false=model.Block([r2]))) self.assert_stmt('if(foo) {return 1;} else {return 2;}', model.IfThenElse(foo, if_true=model.Block([r1]), if_false=model.Block([r2]))) # test proper nesting, every parser writer's favorite self.assert_stmt('if(foo) if(bar) return 1;', model.IfThenElse(foo, if_true=model.IfThenElse(bar, if_true=r1))) self.assert_stmt('if(foo) if(bar) return 1; else return 2;', model.IfThenElse(foo, if_true=model.IfThenElse(bar, if_true=r1, if_false=r2))) self.assert_stmt('if(foo) return 1; else if(bar) return 2;', model.IfThenElse(foo, if_true=r1, if_false=model.IfThenElse(bar, if_true=r2)))
def test_try(self): r1 = model.Return(one) r2 = model.Return(two) r3 = model.Return(three) c1 = model.Catch(model.Variable('e'), types=[model.Type(model.Name('Exception'))], block=model.Block([r2])) self.assert_stmt('try { return 1; } catch (Exception e) { return 2; }', model.Try(model.Block([r1]), catches=[c1])) self.assert_stmt('try { return 1; } catch (Exception e) { return 2; } finally { return 3; }', model.Try(model.Block([r1]), catches=[c1], _finally=model.Block([r3]))) self.assert_stmt('try { return 1; } finally { return 2; }', model.Try(model.Block([r1]), _finally=model.Block([r2]))) c2 = model.Catch(model.Variable('e'), types=[model.Type(model.Name('Exception1')), model.Type(model.Name('Exception2'))], block=model.Block([r3])) self.assert_stmt('try { return 1; } catch (Exception1 | Exception2 e) { return 3; }', model.Try(model.Block([r1]), catches=[c2])) self.assert_stmt('try { return 1; } catch (Exception e) { return 2; } catch (Exception1 | Exception2 e) { return 3; }', model.Try(model.Block([r1]), catches=[c1, c2])) self.assert_stmt('try { return 1; } catch (Exception e) { return 2; } catch (Exception1 | Exception2 e) { return 3; } finally { return 3; }', model.Try(model.Block([r1]), catches=[c1, c2], _finally=model.Block([r3]))) res1 = model.Resource(model.Variable('r'), _type=model.Type(model.Name('Resource')), initializer=model.Name('foo')) res2 = model.Resource(model.Variable('r2'), _type=model.Type(model.Name('Resource2')), initializer=model.Name('bar')) self.assert_stmt('try(Resource r = foo) { return 1; }', model.Try(model.Block([r1]), resources=[res1])) self.assert_stmt('try(Resource r = foo;) { return 1; }', model.Try(model.Block([r1]), resources=[res1])) self.assert_stmt('try(Resource r = foo; Resource2 r2 = bar) { return 1; }', model.Try(model.Block([r1]), resources=[res1, res2])) self.assert_stmt('try(Resource r = foo; Resource2 r2 = bar;) { return 1; }', model.Try(model.Block([r1]), resources=[res1, res2])) self.assert_stmt('try(Resource r = foo) { return 1; } catch (Exception e) { return 2; }', model.Try(model.Block([r1]), resources=[res1], catches=[c1])) self.assert_stmt('try(Resource r = foo) { return 1; } catch (Exception1 | Exception2 e) { return 3;}', model.Try(model.Block([r1]), resources=[res1], catches=[c2])) self.assert_stmt('try(Resource r = foo) { return 1; } catch (Exception e) { return 2; } catch (Exception1 | Exception2 e) { return 3; }', model.Try(model.Block([r1]), resources=[res1], catches=[c1, c2])) self.assert_stmt('try(Resource r = foo) { return 1; } finally { return 3; }', model.Try(model.Block([r1]), resources=[res1], _finally=model.Block([r3]))) self.assert_stmt('try(Resource r = foo) { return 1; } catch (Exception e) { return 2; } finally { return 3; }', model.Try(model.Block([r1]), resources=[res1], catches=[c1], _finally=model.Block([r3]))) self.assert_stmt('try(Resource r = foo) { return 1; } catch (Exception e) { return 2; } catch (Exception1 | Exception2 e) { return 3; } finally { return 3; }', model.Try(model.Block([r1]), resources=[res1], catches=[c1, c2], _finally=model.Block([r3])))
def test_synchronized(self): self.assert_stmt( 'synchronized (foo) { return; }', model.Synchronized(foo, body=model.Block([model.Return()])))