1
1
mirror of https://github.com/github/semantic.git synced 2024-12-15 18:13:38 +03:00
Commit Graph

26767 Commits

Author SHA1 Message Date
joshvera
26d3e5e449 Remove Environment 2018-12-05 09:42:00 -05:00
joshvera
505e9003a2 stylish 2018-12-05 09:41:24 -05:00
joshvera
c309aed43a Remove edgelabel-scratchpad 2018-12-05 09:19:46 -05:00
joshvera
4428cd0ab8 Implement ruby assignment as a separate syntax
So it can declare a variable in case it isn't shadowing one
2018-12-04 19:22:58 -05:00
joshvera
5b198eb919 Implement Break and Continue 2018-12-04 19:22:29 -05:00
joshvera
5deda2a033 Implement and reopen ruby modules 2018-12-04 18:46:29 -05:00
joshvera
538b2bc875 Reopen classes 2018-12-04 18:28:47 -05:00
joshvera
4f071f46ac Remove valueRef tests
It's be nice to deref these in evaluate
2018-12-04 18:15:24 -05:00
joshvera
30b086f5a1 Implement class instance 2018-12-04 18:15:04 -05:00
joshvera
2d7f741cde Call the function if lhsValue doesn't have a scoped environment
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:47:00 -05:00
joshvera
609a60f040 Lookup declaration by name in graphingTerms
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:22:18 -05:00
joshvera
9f6579edaf Fix call function test to test the value
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:14:50 -05:00
joshvera
535b6b56c8 Lookup __self in Send call if there's no sendReceiver
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:01:48 -05:00
joshvera
33b752a5aa Implement This eval instance
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:01:30 -05:00
joshvera
ac1d2dbc95 Declare __self in Method instance
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:01:19 -05:00
joshvera
793ec4b32d Define __self in preludes
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 17:00:20 -05:00
joshvera
85f00a2904 Add defineBuiltIn
in order to construct an associated scope to pass to BuiltIn

Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 16:24:44 -05:00
joshvera
fa3adf19e6 Assign params within a frame in Abstract/Type semantics
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-04 15:56:11 -05:00
joshvera
7774b73475 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-04 15:06:12 -05:00
Rob Rix
f75c2b14a1 Build function scopes in the Evaluatable instances. 2018-12-04 14:55:25 -05:00
Rob Rix
00c6bb2229 Note that we should be building the scope in define instead of in the Function carrier. 2018-12-04 14:34:40 -05:00
Rob Rix
bb2bcf6274 🔥 a redundant fresh. 2018-12-04 14:21:07 -05:00
Rob Rix
140fab4407 Simplify the Effect instance for Function. 2018-12-04 14:15:13 -05:00
Rob Rix
dbf670d4ee Use deriving strategies for the Heap. 2018-12-04 13:12:25 -05:00
Rob Rix
9420d5cc96 🔥 a bunch of redundant bindings. 2018-12-04 13:12:18 -05:00
Rob Rix
c16385e20f 🔥 a bunch of redundant constraints. 2018-12-04 13:12:03 -05:00
Rob Rix
91fce6a246 🔥 a bunch of redundant imports. 2018-12-04 12:25:32 -05:00
joshvera
4322c8889c Implement Send without self 2018-12-04 12:04:06 -05:00
joshvera
debefff57c Differentiate between Import and Superclass edge tests 2018-12-04 11:24:01 -05:00
joshvera
4d134fd9aa putDeclarationScope should be robust
And look things up with respect to a current scope instead of traversing the key value pairs of the scope graph
2018-12-04 10:38:05 -05:00
joshvera
2544b100e1 Ignore Lexical, Import, and Export edges in declarationNames
Since we only use it for objectMembers in tests and those should only traverse superclass edges atm
2018-12-04 10:37:33 -05:00
joshvera
b88dde5d5e Traverse superclass edges 2018-12-04 10:37:03 -05:00
joshvera
6a27c20c9b Go back to declaring in Function syntax 2018-12-04 10:36:47 -05:00
joshvera
4b0a88881b Expect dang method on Baz
And to choose the correct superclass method
2018-12-04 10:36:23 -05:00
joshvera
766f9bd018 Look in Classes for objectMembers 2018-12-04 10:35:52 -05:00
joshvera
7f4d4d0c40 Declare in concrete function again
Fixes subclass associated scope issue in subclasses.py
2018-12-03 17:58:48 -05:00
joshvera
4af4dd616b Implement Eval instance for classes
Add Class to scopedEnvironment
2018-12-03 17:39:45 -05:00
joshvera
16b6babe8a Remove this for unit tests
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-03 16:06:10 -05:00
joshvera
78c0344967 Add callGraphPythonProject
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-03 16:00:01 -05:00
joshvera
c505b53898 No need to declare multiple times
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-03 15:59:49 -05:00
joshvera
2d190d8ec9 Don't insert already declared names into a scope
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-03 15:59:38 -05:00
joshvera
fd502d5e34 enable graphingTerms
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-03 12:24:40 -05:00
Rick Winfrey
33a16ee1a2 Clean up unused imports 2018-11-30 16:23:43 -08:00
Rick Winfrey
b20e2d3f7e Export lists 2018-11-30 16:23:29 -08:00
Rick Winfrey
83a60c3fdf Don't need Semigroup here 2018-11-30 16:23:10 -08:00
Rick Winfrey
eefd90ce39 Export list 2018-11-30 16:22:57 -08:00
joshvera
983165b437 Remove redundant side effect test
Covered by "side effect only imports dont expose exports"
2018-11-29 20:19:40 -05:00
joshvera
b35e1a0718 change Address to Slot in tests 2018-11-29 20:16:29 -05:00
joshvera
0cd64662f2 Rename Address to Slot 2018-11-29 20:07:30 -05:00
joshvera
17c4bf350c Add lookupObjectMembers function to tests 2018-11-29 19:37:20 -05:00