コード例 #1
0
ファイル: TransducerTests.cs プロジェクト: woooodbond/infer
        public void LargeTransducer()
        {
            StringAutomaton.MaxStateCount = 1200000; // Something big
            var bigAutomatonBuilder = new StringAutomaton.Builder();

            bigAutomatonBuilder.AddStates(StringAutomaton.MaxStateCount - bigAutomatonBuilder.StatesCount);
            Func <Option <DiscreteChar>, Weight, ValueTuple <Option <PairDistribution <char, DiscreteChar> >, Weight> > transitionConverter =
                (dist, weight) => ValueTuple.Create(Option.Some(PairDistribution <char, DiscreteChar> .FromFirstSecond(dist, dist)), weight);

            var bigAutomaton = bigAutomatonBuilder.GetAutomaton();

            Assert.Throws <AutomatonTooLargeException>(() => StringTransducer.FromAutomaton(bigAutomaton, transitionConverter));

            // Shouldn't throw if the maximum number of states is increased
            int prevMaxStateCount = StringTransducer.MaxStateCount;

            try
            {
                StringTransducer.MaxStateCount = StringAutomaton.MaxStateCount;
                StringTransducer.FromAutomaton(bigAutomaton, transitionConverter);
            }
            finally
            {
                StringTransducer.MaxStateCount = prevMaxStateCount;
            }
        }
コード例 #2
0
        public void LargeTransducer()
        {
            var largeStatesCount = 1200000; // bigger than default MaxStatesCount in automata

            using (var unlimitedAutomatonStates = new StringAutomaton.UnlimitedStatesComputation())
            {
                var bigAutomatonBuilder = new StringAutomaton.Builder();
                bigAutomatonBuilder.AddStates(largeStatesCount - bigAutomatonBuilder.StatesCount);
                Func <Option <DiscreteChar>, Weight, ValueTuple <Option <PairDistribution <char, DiscreteChar> >, Weight> >
                transitionConverter =
                    (dist, weight) =>
                    ValueTuple.Create(
                        Option.Some(PairDistribution <char, DiscreteChar> .FromFirstSecond(dist, dist)), weight);

                var bigAutomaton = bigAutomatonBuilder.GetAutomaton();

                Assert.Throws <AutomatonTooLargeException>(() =>
                                                           StringTransducer.FromAutomaton(bigAutomaton, transitionConverter));

                // Shouldn't throw if the maximum number of states is increased
                using (var unlimitedTransducerStates = new StringTransducer.UnlimitedStatesComputation())
                {
                    StringTransducer.FromAutomaton(bigAutomaton, transitionConverter);
                }
            }
        }