Exemplos de SeqexDatabase em C# (CSharp)

Exemplo n.º 1

Arquivo: InsufficientObjectFactoryObserver.cs Projeto: spati2/ICSE-2011-Covana

        //SafeSet<CodeLocation> unsuccessfullyFlippedCodeLocations = new SafeSet<CodeLocation>();

        protected override void Initialize()
        {
            base.Initialize();
            database = this.GetService <SeqexDatabase>();

            /*if (database == null)
             *  database = new SeqexDatabase();*/
            InsufficientObjectFactoryFieldInfoObj = database.InsufficientObjectFactoryFieldInfoObj;
            this.ExplorationServices.ExplorableManager.AddExplorableInsufficienyObserver(this);
        }

Exemplo n.º 2

 protected override void Initialize()
 {
     database           = this.GetService <SeqexDatabase>();
     FieldAccessInfoObj = database.FieldAccessInfoObj;
     this.termManager   = this.ExplorationServices.TermManager;
 }