org.bomba_lang.proto

Class ProgSpec

java.lang.Object

org.scalatest.FlatSpec

org.bomba_lang.proto.ProgSpec

All Implemented Interfaces:

Serializable, org.scalatest.AbstractSuite, org.scalatest.Alerting, org.scalatest.Assertions, org.scalatest.Documenting, org.scalatest.FlatSpecLike, org.scalatest.Informing, org.scalatest.Matchers, org.scalatest.Notifying, org.scalatest.Suite, org.scalatest.words.CanVerb, org.scalatest.words.MatcherWords, org.scalatest.words.MustVerb, org.scalatest.words.ShouldVerb, org.scalautils.Explicitly, org.scalautils.Tolerance, org.scalautils.TripleEquals, org.scalautils.TripleEqualsSupport

public class ProgSpec
extends org.scalatest.FlatSpec
implements org.scalatest.Matchers

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface org.scalatest.Matchers

org.scalatest.Matchers.AllCollected$, org.scalatest.Matchers.AnWord, org.scalatest.Matchers.AnyShouldWrapper<T>, org.scalatest.Matchers.AtLeastCollected, org.scalatest.Matchers.AtLeastCollected$, org.scalatest.Matchers.AtMostCollected, org.scalatest.Matchers.AtMostCollected$, org.scalatest.Matchers.AWord, org.scalatest.Matchers.BetweenCollected, org.scalatest.Matchers.BetweenCollected$, org.scalatest.Matchers.Collected, org.scalatest.Matchers.EveryCollected$, org.scalatest.Matchers.ExactlyCollected, org.scalatest.Matchers.ExactlyCollected$, org.scalatest.Matchers.HavePropertyMatcherGenerator, org.scalatest.Matchers.KeyWord, org.scalatest.Matchers.NoCollected$, org.scalatest.Matchers.RegexWord, org.scalatest.Matchers.RegexWrapper, org.scalatest.Matchers.ResultOfBeWordForAny<T>, org.scalatest.Matchers.ResultOfBeWordForCollectedAny<T>, org.scalatest.Matchers.ResultOfBeWordForCollectedArray<T>, org.scalatest.Matchers.ResultOfCollectedAny<T>, org.scalatest.Matchers.ResultOfContainWordForCollectedAny<T>, org.scalatest.Matchers.ResultOfEndWithWordForCollectedString, org.scalatest.Matchers.ResultOfEndWithWordForString, org.scalatest.Matchers.ResultOfEvaluatingApplication, org.scalatest.Matchers.ResultOfFullyMatchWordForCollectedString, org.scalatest.Matchers.ResultOfFullyMatchWordForString, org.scalatest.Matchers.ResultOfHaveWordForCollectedExtent<A>, org.scalatest.Matchers.ResultOfHaveWordForExtent<A>, org.scalatest.Matchers.ResultOfIncludeWordForCollectedString, org.scalatest.Matchers.ResultOfIncludeWordForString, org.scalatest.Matchers.ResultOfNotWordForCollectedAny<T>, org.scalatest.Matchers.ResultOfProduceInvocation<T>, org.scalatest.Matchers.ResultOfStartWithWordForCollectedString, org.scalatest.Matchers.ResultOfStartWithWordForString, org.scalatest.Matchers.ShouldMethodHelper$, org.scalatest.Matchers.StringShouldWrapper, org.scalatest.Matchers.TheSameInstanceAsPhrase, org.scalatest.Matchers.ValueWord

Nested classes/interfaces inherited from interface org.scalatest.Assertions

org.scalatest.Assertions.AssertionsHelper, org.scalatest.Assertions.NormalResult, org.scalatest.Assertions.NormalResult$

Nested classes/interfaces inherited from interface org.scalautils.TripleEqualsSupport

org.scalautils.TripleEqualsSupport.AToBEquivalenceConstraint<A,B>, org.scalautils.TripleEqualsSupport.BToAEquivalenceConstraint<A,B>, org.scalautils.TripleEqualsSupport.CheckingEqualizer<L>, org.scalautils.TripleEqualsSupport.EqualityConstraint<A,B>, org.scalautils.TripleEqualsSupport.Equalizer<L>, org.scalautils.TripleEqualsSupport.LegacyCheckingEqualizer<L>, org.scalautils.TripleEqualsSupport.LegacyEqualizer<L>, org.scalautils.TripleEqualsSupport.Spread<T>, org.scalautils.TripleEqualsSupport.Spread$, org.scalautils.TripleEqualsSupport.TripleEqualsInvocation<T>, org.scalautils.TripleEqualsSupport.TripleEqualsInvocation$, org.scalautils.TripleEqualsSupport.TripleEqualsInvocationOnSpread<T>, org.scalautils.TripleEqualsSupport.TripleEqualsInvocationOnSpread$

Nested classes/interfaces inherited from interface org.scalautils.Tolerance

org.scalautils.Tolerance.PlusOrMinusWrapper<T>

Nested classes/interfaces inherited from interface org.scalatest.words.ShouldVerb

org.scalatest.words.ShouldVerb.StringShouldWrapperForVerb, org.scalatest.words.ShouldVerb.StringShouldWrapperForVerb$class

Nested classes/interfaces inherited from interface org.scalautils.Explicitly

org.scalautils.Explicitly.DecidedByEquality<A>, org.scalautils.Explicitly.DecidedWord, org.scalautils.Explicitly.DeterminedByEquivalence<T>, org.scalautils.Explicitly.DeterminedWord, org.scalautils.Explicitly.TheAfterWord

Nested classes/interfaces inherited from interface org.scalatest.FlatSpecLike

org.scalatest.FlatSpecLike.BehaviorWord, org.scalatest.FlatSpecLike.IgnoreVerbString, org.scalatest.FlatSpecLike.IgnoreVerbStringTaggedAs, org.scalatest.FlatSpecLike.IgnoreWord, org.scalatest.FlatSpecLike.InAndIgnoreMethods, org.scalatest.FlatSpecLike.InAndIgnoreMethodsAfterTaggedAs, org.scalatest.FlatSpecLike.ItVerbString, org.scalatest.FlatSpecLike.ItVerbStringTaggedAs, org.scalatest.FlatSpecLike.ItWord, org.scalatest.FlatSpecLike.TheyVerbString, org.scalatest.FlatSpecLike.TheyVerbStringTaggedAs, org.scalatest.FlatSpecLike.TheyWord

Nested classes/interfaces inherited from interface org.scalatest.Suite

org.scalatest.Suite.NoArgTest, org.scalatest.Suite.NoArgTest$

Nested classes/interfaces inherited from interface org.scalatest.words.MustVerb

org.scalatest.words.MustVerb.StringMustWrapperForVerb, org.scalatest.words.MustVerb.StringMustWrapperForVerb$class

Nested classes/interfaces inherited from interface org.scalatest.words.CanVerb

org.scalatest.words.CanVerb.StringCanWrapperForVerb, org.scalatest.words.CanVerb.StringCanWrapperForVerb$class

Constructor Summary

Constructors

Constructor and Description
ProgSpec()

Method Summary

Methods

Modifier and Type	Method and Description
void	conjunctiveRule(Conjunctive elem)
void	implicativeRule(DisjunctiveImplicative elem)
Literal	testAtom()
org.bomba_lang.proto.BodilesRule	testDisjRule()
Rule	testNegRule()
Rule	testPosRule()

Methods inherited from class org.scalatest.FlatSpec

$bang$eq$eq, $bang$eq$eq, $bang$eq$eq, $eq$eq$eq, $eq$eq$eq, $eq$eq$eq, alert, assert, assert, assertionsHelper, assertResult, assertResult, assume, assume, behave, behavior, cancel, cancel, cancel, cancel, conversionCheckedConstraint, convertEquivalenceToAToBConstraint, convertEquivalenceToAToBConversionConstraint, convertEquivalenceToBToAConstraint, convertEquivalenceToBToAConversionConstraint, convertToCheckingEqualizer, convertToEqualizer, convertToInAndIgnoreMethods, convertToInAndIgnoreMethodsAfterTaggedAs, convertToLegacyCheckingEqualizer, convertToLegacyEqualizer, convertToStringCanWrapper, convertToStringMustWrapper, convertToStringShouldWrapper, createCatchReporter, defaultEquality, execute, execute, execute$default$1, execute$default$2, execute$default$3, execute$default$4, execute$default$5, execute$default$6, execute$default$7, expect, expect, expectedTestCount, expectResult, expectResult, fail, fail, fail, fail, ignore, info, intercept, it, lowPriorityConversionCheckedConstraint, lowPriorityTypeCheckedConstraint, markup, nestedSuites, newAssertionFailedException, newAssertionFailedException, newTestCanceledException, NoArgTest, note, org$scalatest$Assertions$_setter_$assertionsHelper_$eq, org$scalatest$FlatSpecLike$_setter_$behave_$eq, org$scalatest$FlatSpecLike$_setter_$behavior_$eq, org$scalatest$FlatSpecLike$_setter_$ignore_$eq, org$scalatest$FlatSpecLike$_setter_$it_$eq, org$scalatest$FlatSpecLike$_setter_$org$scalatest$FlatSpecLike$$engine_$eq, org$scalatest$FlatSpecLike$_setter_$shorthandSharedTestRegistrationFunction_$eq, org$scalatest$FlatSpecLike$_setter_$shorthandTestRegistrationFunction_$eq, org$scalatest$FlatSpecLike$_setter_$styleName_$eq, org$scalatest$FlatSpecLike$_setter_$they_$eq, org$scalatest$FlatSpecLike$$engine, org$scalatest$FlatSpecLike$$super$run, org$scalatest$Suite$_setter_$styleName_$eq, pending, pendingUntilFixed, rerunner, run, run, runNestedSuites, runTest, runTests, shorthandSharedTestRegistrationFunction, shorthandTestRegistrationFunction, styleName, suiteId, suiteName, tags, testDataFor, testDataFor$default$2, testNames, they, toString, trap, typeCheckedConstraint, unconstrainedEquality, withClue, withFixture

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.scalatest.Matchers

$greater, $greater$eq, $less, $less$eq, a, a, all, all, all, allOf, an, an, atLeast, atLeast, atLeast, atLeastOneOf, atMost, atMost, atMost, atMostOneOf, between, between, between, convertSymbolToHavePropertyMatcherGenerator, convertToAnyShouldWrapper, convertToRegexWrapper, convertToStringShouldWrapper, definedAt, doCollected, equal, equal, evaluating, every, every, every, exactly, exactly, exactly, inOrder, inOrderOnly, key, message, no, no, no, noneOf, of, oneOf, only, org$scalatest$Matchers$_setter_$a_$eq, org$scalatest$Matchers$_setter_$an_$eq, org$scalatest$Matchers$_setter_$key_$eq, org$scalatest$Matchers$_setter_$regex_$eq, org$scalatest$Matchers$_setter_$theSameInstanceAs_$eq, org$scalatest$Matchers$_setter_$value_$eq, org$scalatest$Matchers$$AllCollected, org$scalatest$Matchers$$AtLeastCollected, org$scalatest$Matchers$$AtMostCollected, org$scalatest$Matchers$$BetweenCollected, org$scalatest$Matchers$$EveryCollected, org$scalatest$Matchers$$ExactlyCollected, org$scalatest$Matchers$$NoCollected, org$scalatest$Matchers$$ShouldMethodHelper, produce, regex, the, theSameElementsAs, theSameElementsInOrderAs, theSameInstanceAs, thrownBy, value

Methods inherited from interface org.scalatest.Assertions

assert, assert, assertionsHelper, assertResult, assertResult, assume, assume, cancel, cancel, cancel, cancel, expect, expect, expectResult, expectResult, fail, fail, fail, fail, intercept, newAssertionFailedException, newAssertionFailedException, newTestCanceledException, org$scalatest$Assertions$_setter_$assertionsHelper_$eq, trap, withClue

Methods inherited from interface org.scalautils.TripleEquals

conversionCheckedConstraint, convertEquivalenceToAToBConstraint, convertEquivalenceToAToBConversionConstraint, convertEquivalenceToBToAConstraint, convertEquivalenceToBToAConversionConstraint, convertToCheckingEqualizer, convertToEqualizer, convertToLegacyCheckingEqualizer, convertToLegacyEqualizer, lowPriorityConversionCheckedConstraint, lowPriorityTypeCheckedConstraint, typeCheckedConstraint, unconstrainedEquality

Methods inherited from interface org.scalautils.TripleEqualsSupport

$bang$eq$eq, $bang$eq$eq, $bang$eq$eq, $eq$eq$eq, $eq$eq$eq, $eq$eq$eq, defaultEquality

Methods inherited from interface org.scalautils.Tolerance

convertNumericToPlusOrMinusWrapper

Methods inherited from interface org.scalatest.words.MatcherWords

be, compile, contain, defined, empty, endWith, equal, exist, fullyMatch, have, include, length, noException, not, org$scalatest$words$MatcherWords$_setter_$be_$eq, org$scalatest$words$MatcherWords$_setter_$compile_$eq, org$scalatest$words$MatcherWords$_setter_$contain_$eq, org$scalatest$words$MatcherWords$_setter_$defined_$eq, org$scalatest$words$MatcherWords$_setter_$empty_$eq, org$scalatest$words$MatcherWords$_setter_$endWith_$eq, org$scalatest$words$MatcherWords$_setter_$exist_$eq, org$scalatest$words$MatcherWords$_setter_$fullyMatch_$eq, org$scalatest$words$MatcherWords$_setter_$have_$eq, org$scalatest$words$MatcherWords$_setter_$include_$eq, org$scalatest$words$MatcherWords$_setter_$length_$eq, org$scalatest$words$MatcherWords$_setter_$noException_$eq, org$scalatest$words$MatcherWords$_setter_$not_$eq, org$scalatest$words$MatcherWords$_setter_$readable_$eq, org$scalatest$words$MatcherWords$_setter_$size_$eq, org$scalatest$words$MatcherWords$_setter_$sorted_$eq, org$scalatest$words$MatcherWords$_setter_$startWith_$eq, org$scalatest$words$MatcherWords$_setter_$writable_$eq, readable, size, sorted, startWith, writable

Methods inherited from interface org.scalautils.Explicitly

after, decided, determined, org$scalautils$Explicitly$_setter_$after_$eq, org$scalautils$Explicitly$_setter_$decided_$eq, org$scalautils$Explicitly$_setter_$determined_$eq

Constructor Detail

ProgSpec

public ProgSpec()

Method Detail

testAtom

public Literal testAtom()

testPosRule

public Rule testPosRule()

testNegRule

public Rule testNegRule()

testDisjRule

public org.bomba_lang.proto.BodilesRule testDisjRule()

implicativeRule

public void implicativeRule(DisjunctiveImplicative elem)

conjunctiveRule

public void conjunctiveRule(Conjunctive elem)