Package org.mantikhor.llapi

Examples of org.mantikhor.llapi.Burst

599
600
601
602
603
604
605
606
607
608
609
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            anAnd.sharesNothingWithPattern(burst);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
670
671
672
673
674
675
676
677
678
679
680
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            anAnd.diff(burst);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
        //    D E F G H I  J K L

        List<BaseProperty> properties = this.getGlobalProperties();
        assertTrue(properties.size() == this.numberOfProperties);
       
        Burst burst = new BurstImpl(properties, true);
        List<BaseProperty> allTree1Properties = this.treeI.getAllProperties();
       
        assertTrue(allTree1Properties.containsAll(burst.getProperties()));
        assertTrue(burst.getProperties().containsAll(allTree1Properties));

        createResourceNodeTreeIII(); // same URI as treeI but ALL properties A ... L
       
        ResourceNode resNode =
            (ResourceNode)getNode(TreeImplTest.NODES.NAME_NODE_TREEIII);
       
        System.out.println(resNode.getProperties().size());
        System.out.println(properties.size());
       
        assertTrue(resNode.getProperties().containsAll(properties));
        assertTrue(properties.containsAll(resNode.getProperties()));
       
        assertTrue(burst.isContentContainedBy(resNode));
        assertFalse(resNode.isContentContainedBy(burst));
       
        //                           ______nameNode______
        //                         / | | | | | | | | | | \
        //                        A  B C | | | | | | | | |          Paths
        //                        |  | | D E F | | | | | |
        //                        |__|_|_^ ^ ^ | | | | | |          same as I, but nn for III != nn for I
        //       treeIII          |__|_|___| | G H I | | |          This is a tree also
        //                        |__|_|_____| ^ ^ ^ J K L          # terminating nodes = # paths
        //                           | |_______| | | ^ ^ ^
        //                           |_|_________| | | | |
        //                           |_|___________| | | |
        //                             |_____________| | |
        //                             |_______________| |
        //                             |_________________|
       
        Graph treeIII =
            TreeImpl.valueByResourceNode(resNode);
        System.out.println("BEGIN TREEIII");
        String s = treeIII.toString();
        System.out.println(s);
        System.out.println("END TREEIII");
        assertTrue(TreeImpl.isTree(treeIII));
       
        assertFalse(treeIII.isContentContainedBy(burst));
        assertFalse(burst.isContentContainedBy(treeIII));
        assertFalse(treeIII.getNamenode().isContentContainedBy(burst));
        assertTrue(burst.isContentContainedBy(treeIII.getNamenode()));

        Map map = GraphInformation.recursivelyAnalyzeGraph(resNode);
        List<BaseProperty> pRops = GraphInformation.getBaseProperties(map);
       
        Burst burst2 = new BurstImpl(pRops, false);
        assertTrue(burst2.getProperties().containsAll(burst.getProperties()));
        assertTrue(burst.getProperties().containsAll(burst2.getProperties()));
       
        // this makes sense ... tree1 only has A, B, C but tree2 has A, B, ... L.
        assertFalse(this.treeI.hasSameContents(treeIII));
        assertTrue(this.treeI.isContentContainedBy(treeIII));
       
View Full Code Here
77
78
79
80
81
82
83
84
85
     * Test method for {@link org.mantikhor.logic.True#getReefNode()}.
     */
    public void testGetReefNode()
    {
        False theFalseInstance = False.getInstance();
        Burst burst = theFalseInstance.getReefNode();
        assertNotNull(burst);
        assertTrue(burst.getProperties().size()==0);
    }
View Full Code Here
265
266
267
268
269
270
271
272
273
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                True.getInstance());
        List<BaseProperty> properties = new ArrayList<BaseProperty>();
        properties.add(prop);
        Burst burst = new BurstImpl(properties, false);
       
        assertFalse(theFalseInstance.containsProperties(burst));
    }
View Full Code Here
395
396
397
398
399
400
401
402
403
404
405
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            falseInstance.containsPattern(burst, true);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
417
418
419
420
421
422
423
424
425
426
427
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            falseInstance.isContainedByPattern(burst, true);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
439
440
441
442
443
444
445
446
447
448
449
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            falseInstance.overlapsPattern(burst, true);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
461
462
463
464
465
466
467
468
469
470
471
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            falseInstance.matchesPatternExactly(burst, true);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
483
484
485
486
487
488
489
490
491
492
493
        List<BaseProperty> baseProperties = new ArrayList<BaseProperty>();
        Property prop = PropertyImpl.valueByDefNode(
                new PropertyDefinitionImpl(PropertyCategory.LOGIC, DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")),
                ResourceNodeImpl.getEmptyInstance(DomainURI.valueByString("http://wijis.wisconsin.gov/names/operators/wijis/gateway/")));
        baseProperties.add(prop);
        Burst burst = new BurstImpl(baseProperties, true);
        try
        {
            falseInstance.sharesNothingWithPattern(burst);
        }
        catch(UnsupportedOperationException e)
View Full Code Here
TOP

Related Classes of org.mantikhor.llapi.Burst

  • org.mantikhor.llapi.impl.BurstImpl
  • org.mantikhor.llapi.impl.GraphInformation
  • org.mantikhor.llapi.impl.ResourceNodeImpl
  • org.mantikhor.llapi.impl.TreeImpl
  • org.mantikhor.llapi.impl.TreeImplTest
  • org.mantikhor.logic.AndTest
  • org.mantikhor.logic.CardinalOrTest
  • org.mantikhor.logic.FalseTest
  • org.mantikhor.logic.OrTest
  • org.mantikhor.logic.TrueTest
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.