diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-10 12:57:38 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-01-10 12:57:38 -0800 |
| commit | 82fa0b8a67d076287cc4c4105a42fcabc459fd18 (patch) | |
| tree | b32f88c11a055f4c4a8f20c5d40f1ac2ba2ed742 /src/theory/sep | |
| parent | 7357de6df17449837e8da7defc9c8a52522c50de (diff) | |
Removing throw specifiers for TypeRules. (#1501)
Diffstat (limited to 'src/theory/sep')
| -rw-r--r-- | src/theory/sep/theory_sep_type_rules.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/theory/sep/theory_sep_type_rules.h b/src/theory/sep/theory_sep_type_rules.h index d060b44e9..0e0373586 100644 --- a/src/theory/sep/theory_sep_type_rules.h +++ b/src/theory/sep/theory_sep_type_rules.h @@ -26,7 +26,7 @@ namespace sep { class SepEmpTypeRule { public: inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { Assert(n.getKind() == kind::SEP_EMP); return nodeManager->booleanType(); } @@ -34,7 +34,7 @@ public: struct SepPtoTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { Assert(n.getKind() == kind::SEP_PTO); if( check ) { TypeNode refType = n[0].getType(check); @@ -46,7 +46,7 @@ struct SepPtoTypeRule { struct SepStarTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { TypeNode btype = nodeManager->booleanType(); Assert(n.getKind() == kind::SEP_STAR); if( check ){ @@ -63,7 +63,7 @@ struct SepStarTypeRule { struct SepWandTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { TypeNode btype = nodeManager->booleanType(); Assert(n.getKind() == kind::SEP_WAND); if( check ){ @@ -80,7 +80,7 @@ struct SepWandTypeRule { struct SepLabelTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { TypeNode btype = nodeManager->booleanType(); Assert(n.getKind() == kind::SEP_LABEL); if( check ){ @@ -99,7 +99,7 @@ struct SepLabelTypeRule { struct SepNilTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) - throw (TypeCheckingExceptionPrivate, AssertionException) { + { Assert(n.getKind() == kind::SEP_NIL); Assert(check); TypeNode type = n.getType(); |