<filename>typed_python/forward_types_test.py<gh_stars>0
#   Copyright 2018 <NAME>
#
#   Licensed under the Apache License, Version 2.0 (the "License");
#   you may not use this file except in compliance with the License.
#   You may obtain a copy of the License at
#
#       http://www.apache.org/licenses/LICENSE-2.0
#
#   Unless required by applicable law or agreed to in writing, software
#   distributed under the License is distributed on an "AS IS" BASIS,
#   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#   See the License for the specific language governing permissions and
#   limitations under the License.
import unittest
from typed_python.internals import forwardToName
from typed_python import Int8, NoneType, TupleOf, OneOf, Tuple, NamedTuple, \
    ConstDict, Alternative, serialize, deserialize, Value, Class, Member, _types

class NativeForwardTypesTests(unittest.TestCase):
    def test_forwardToName(self):
        X = 10
        self.assertEqual(forwardToName(lambda: X), "X")
        self.assertEqual(forwardToName(lambda: X+X), "UnknownForward")

    def test_recursive_alternative(self):
        List = Alternative("List",
                Node={'head': int, 'tail': lambda: List },
                Leaf={},
                unpack=lambda self: () if self.matches.Leaf else (self.head,) + self.tail.unpack()
                )

        #ensure recursive implementation actually works
        l = List.Leaf()

        for i in range(100):
            l = List.Node(head=i, tail=l)

        self.assertEqual(list(l.unpack()), list(reversed(range(100))))

    def test_instantiating_invalid_forward(self):
        X = Alternative("X", A={'x': lambda: this_does_not_Exist })

        with self.assertRaises(TypeError):
            X.A()

        this_does_not_exist = int

        #fixing it doesn't help
        with self.assertRaises(TypeError):
            X.A()

        #but a new type is OK.
        X = Alternative("X", A={'x': lambda: this_does_not_exist })

        X.A()

    def test_mutually_recursive_classes(self):
        class A(Class):
            bvals = Member(TupleOf(lambda: B))

        class B(Class):
            avals = Member(TupleOf(lambda: A))

        a = A()
        b = B()

        a.bvals = (b,)
        b.avals = (a,)

        self.assertTrue(a.bvals[0].avals[0] == a)

    def DISABLEDtest_recursives_held_infinitely_throws(self):
        #not implemented yet but should throw
        class X(Class):
            impossible = Member(OneOf(None, lambda: X))

        with self.assertRaises(TypeError):
            X()

    def test_tuple_of_one_of(self):
        Y = OneOf(None, lambda: X)
        X = TupleOf(Y)

        xStr = str(X)

        anX = X( (None,) )

        self.assertTrue("Unresolved" not in str(X))

        anotherX = X( (anX,anX) )

        self.assertEqual(anotherX[0], anX)

    def test_deep_forwards_work(self):
        X = TupleOf(TupleOf(TupleOf(TupleOf(OneOf(None, lambda: X)))))

        xStr = str(X)

        anX = X( ((((None,),),),) )

        anotherX = X( ((((anX,),),),) )

        self.assertEqual(anotherX[0][0][0][0], anX)

<filename>typed_python/forward_types_test.py<gh_stars>0
#   Copyright 2018 <NAME>
#
#   Licensed under the Apache License, Version 2.0 (the "License");
#   you may not use this file except in compliance with the License.
#   You may obtain a copy of the License at
#
#       http://www.apache.org/licenses/LICENSE-2.0
#
#   Unless required by applicable law or agreed to in writing, software
#   distributed under the License is distributed on an "AS IS" BASIS,
#   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#   See the License for the specific language governing permissions and
#   limitations under the License.
import unittest
from typed_python.internals import forwardToName
from typed_python import Int8, NoneType, TupleOf, OneOf, Tuple, NamedTuple, \
    ConstDict, Alternative, serialize, deserialize, Value, Class, Member, _types

class NativeForwardTypesTests(unittest.TestCase):
    def test_forwardToName(self):
        X = 10
        self.assertEqual(forwardToName(lambda: X), "X")
        self.assertEqual(forwardToName(lambda: X+X), "UnknownForward")

    def test_recursive_alternative(self):
        List = Alternative("List",
                Node={'head': int, 'tail': lambda: List },
                Leaf={},
                unpack=lambda self: () if self.matches.Leaf else (self.head,) + self.tail.unpack()
                )

        #ensure recursive implementation actually works
        l = List.Leaf()

        for i in range(100):
            l = List.Node(head=i, tail=l)

        self.assertEqual(list(l.unpack()), list(reversed(range(100))))

    def test_instantiating_invalid_forward(self):
        X = Alternative("X", A={'x': lambda: this_does_not_Exist })

        with self.assertRaises(TypeError):
            X.A()

        this_does_not_exist = int

        #fixing it doesn't help
        with self.assertRaises(TypeError):
            X.A()

        #but a new type is OK.
        X = Alternative("X", A={'x': lambda: this_does_not_exist })

        X.A()

    def test_mutually_recursive_classes(self):
        class A(Class):
            bvals = Member(TupleOf(lambda: B))

        class B(Class):
            avals = Member(TupleOf(lambda: A))

        a = A()
        b = B()

        a.bvals = (b,)
        b.avals = (a,)

        self.assertTrue(a.bvals[0].avals[0] == a)

    def DISABLEDtest_recursives_held_infinitely_throws(self):
        #not implemented yet but should throw
        class X(Class):
            impossible = Member(OneOf(None, lambda: X))

        with self.assertRaises(TypeError):
            X()

    def test_tuple_of_one_of(self):
        Y = OneOf(None, lambda: X)
        X = TupleOf(Y)

        xStr = str(X)

        anX = X( (None,) )

        self.assertTrue("Unresolved" not in str(X))

        anotherX = X( (anX,anX) )

        self.assertEqual(anotherX[0], anX)

    def test_deep_forwards_work(self):
        X = TupleOf(TupleOf(TupleOf(TupleOf(OneOf(None, lambda: X)))))

        xStr = str(X)

        anX = X( ((((None,),),),) )

        anotherX = X( ((((anX,),),),) )

        self.assertEqual(anotherX[0][0][0][0], anX)

#   Copyright 2018 <NAME> # #   Licensed under the Apache License, Version 2.0 (the "License"); #   you may not use this file except in compliance with the License. #   You may obtain a copy of the License at # #       http://www.apache.org/licenses/LICENSE-2.0 # #   Unless required by applicable law or agreed to in writing, software #   distributed under the License is distributed on an "AS IS" BASIS, #   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. #   See the License for the specific language governing permissions and #   limitations under the License. #ensure recursive implementation actually works #fixing it doesn't help #but a new type is OK. #not implemented yet but should throw