Superclass: SourceDatabase

Class definition of AnotherSourceDatabase in lively/ide/SourceDatabase.js:136


Class addMethods of AnotherSourceDatabase in lively/ide/SourceDatabase.js:317