|
@@ -2,7 +2,7 @@
|
|
|
# Exceptions. See /LICENSE for license information.
|
|
# Exceptions. See /LICENSE for license information.
|
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
|
|
|
|
-package(default_visibility = ["//explorer:__pkg__"])
|
|
|
|
|
|
|
+package(default_visibility = ["//explorer/parse_and_execute:__pkg__"])
|
|
|
|
|
|
|
|
cc_library(
|
|
cc_library(
|
|
|
name = "action",
|
|
name = "action",
|
|
@@ -56,21 +56,17 @@ cc_library(
|
|
|
name = "exec_program",
|
|
name = "exec_program",
|
|
|
srcs = ["exec_program.cpp"],
|
|
srcs = ["exec_program.cpp"],
|
|
|
hdrs = ["exec_program.h"],
|
|
hdrs = ["exec_program.h"],
|
|
|
- visibility = [
|
|
|
|
|
- "//explorer:__pkg__",
|
|
|
|
|
- "//explorer/fuzzing:__pkg__",
|
|
|
|
|
- ],
|
|
|
|
|
deps = [
|
|
deps = [
|
|
|
":interpreter",
|
|
":interpreter",
|
|
|
":resolve_control_flow",
|
|
":resolve_control_flow",
|
|
|
":resolve_names",
|
|
":resolve_names",
|
|
|
":resolve_unformed",
|
|
":resolve_unformed",
|
|
|
- ":trace_stream",
|
|
|
|
|
":type_checker",
|
|
":type_checker",
|
|
|
"//common:check",
|
|
"//common:check",
|
|
|
"//common:ostream",
|
|
"//common:ostream",
|
|
|
"//explorer/ast",
|
|
"//explorer/ast",
|
|
|
"//explorer/common:arena",
|
|
"//explorer/common:arena",
|
|
|
|
|
+ "//explorer/common:trace_stream",
|
|
|
"@llvm-project//llvm:Support",
|
|
"@llvm-project//llvm:Support",
|
|
|
],
|
|
],
|
|
|
)
|
|
)
|
|
@@ -114,7 +110,6 @@ cc_library(
|
|
|
":action_stack",
|
|
":action_stack",
|
|
|
":heap",
|
|
":heap",
|
|
|
":stack",
|
|
":stack",
|
|
|
- ":trace_stream",
|
|
|
|
|
"//common:check",
|
|
"//common:check",
|
|
|
"//common:error",
|
|
"//common:error",
|
|
|
"//common:ostream",
|
|
"//common:ostream",
|
|
@@ -122,6 +117,7 @@ cc_library(
|
|
|
"//explorer/common:arena",
|
|
"//explorer/common:arena",
|
|
|
"//explorer/common:error_builders",
|
|
"//explorer/common:error_builders",
|
|
|
"//explorer/common:source_location",
|
|
"//explorer/common:source_location",
|
|
|
|
|
+ "//explorer/common:trace_stream",
|
|
|
"@llvm-project//llvm:Support",
|
|
"@llvm-project//llvm:Support",
|
|
|
],
|
|
],
|
|
|
)
|
|
)
|
|
@@ -175,20 +171,6 @@ cc_library(
|
|
|
],
|
|
],
|
|
|
)
|
|
)
|
|
|
|
|
|
|
|
-cc_library(
|
|
|
|
|
- name = "trace_stream",
|
|
|
|
|
- hdrs = ["trace_stream.h"],
|
|
|
|
|
- visibility = [
|
|
|
|
|
- "//explorer:__pkg__",
|
|
|
|
|
- "//explorer/fuzzing:__pkg__",
|
|
|
|
|
- ],
|
|
|
|
|
- deps = [
|
|
|
|
|
- "//common:check",
|
|
|
|
|
- "//common:ostream",
|
|
|
|
|
- "//explorer/common:nonnull",
|
|
|
|
|
- ],
|
|
|
|
|
-)
|
|
|
|
|
-
|
|
|
|
|
cc_library(
|
|
cc_library(
|
|
|
name = "type_checker",
|
|
name = "type_checker",
|
|
|
srcs = [
|
|
srcs = [
|
|
@@ -211,7 +193,6 @@ cc_library(
|
|
|
":dictionary",
|
|
":dictionary",
|
|
|
":interpreter",
|
|
":interpreter",
|
|
|
":pattern_analysis",
|
|
":pattern_analysis",
|
|
|
- ":trace_stream",
|
|
|
|
|
":type_structure",
|
|
":type_structure",
|
|
|
"//common:check",
|
|
"//common:check",
|
|
|
"//common:enum_base",
|
|
"//common:enum_base",
|
|
@@ -222,39 +203,40 @@ cc_library(
|
|
|
"//explorer/common:error_builders",
|
|
"//explorer/common:error_builders",
|
|
|
"//explorer/common:nonnull",
|
|
"//explorer/common:nonnull",
|
|
|
"//explorer/common:source_location",
|
|
"//explorer/common:source_location",
|
|
|
|
|
+ "//explorer/common:trace_stream",
|
|
|
"@llvm-project//llvm:Support",
|
|
"@llvm-project//llvm:Support",
|
|
|
],
|
|
],
|
|
|
)
|
|
)
|
|
|
|
|
|
|
|
cc_library(
|
|
cc_library(
|
|
|
- name = "type_structure",
|
|
|
|
|
|
|
+ name = "resolve_unformed",
|
|
|
srcs = [
|
|
srcs = [
|
|
|
- "type_structure.cpp",
|
|
|
|
|
|
|
+ "resolve_unformed.cpp",
|
|
|
],
|
|
],
|
|
|
hdrs = [
|
|
hdrs = [
|
|
|
- "type_structure.h",
|
|
|
|
|
|
|
+ "resolve_unformed.h",
|
|
|
],
|
|
],
|
|
|
deps = [
|
|
deps = [
|
|
|
- "//common:ostream",
|
|
|
|
|
|
|
+ "//common:check",
|
|
|
"//explorer/ast",
|
|
"//explorer/ast",
|
|
|
|
|
+ "//explorer/ast:static_scope",
|
|
|
|
|
+ "//explorer/common:error_builders",
|
|
|
"//explorer/common:nonnull",
|
|
"//explorer/common:nonnull",
|
|
|
"@llvm-project//llvm:Support",
|
|
"@llvm-project//llvm:Support",
|
|
|
],
|
|
],
|
|
|
)
|
|
)
|
|
|
|
|
|
|
|
cc_library(
|
|
cc_library(
|
|
|
- name = "resolve_unformed",
|
|
|
|
|
|
|
+ name = "type_structure",
|
|
|
srcs = [
|
|
srcs = [
|
|
|
- "resolve_unformed.cpp",
|
|
|
|
|
|
|
+ "type_structure.cpp",
|
|
|
],
|
|
],
|
|
|
hdrs = [
|
|
hdrs = [
|
|
|
- "resolve_unformed.h",
|
|
|
|
|
|
|
+ "type_structure.h",
|
|
|
],
|
|
],
|
|
|
deps = [
|
|
deps = [
|
|
|
- "//common:check",
|
|
|
|
|
|
|
+ "//common:ostream",
|
|
|
"//explorer/ast",
|
|
"//explorer/ast",
|
|
|
- "//explorer/ast:static_scope",
|
|
|
|
|
- "//explorer/common:error_builders",
|
|
|
|
|
"//explorer/common:nonnull",
|
|
"//explorer/common:nonnull",
|
|
|
"@llvm-project//llvm:Support",
|
|
"@llvm-project//llvm:Support",
|
|
|
],
|
|
],
|