chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add const to mjsDefault when used as function argument.

Browse Source 
Fixes #2197.

PiperOrigin-RevId: 692346264
Change-Id: Iddb9be1377a7d59c86911802d8c5563f6bf6b043
This commit is contained in:
Alessio Quaglino
2024-11-01 18:17:42 -07:00
committed by Copybara-Service
parent 47ebb0614e
commit ebe60b9ad5
8 changed files with 102 additions and 111 deletions
Download Patch File Download Diff File Expand all files Collapse all files
introspect/functions.py
+14 -14
View File
@@ -9072,7 +9072,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9094,7 +9094,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9116,7 +9116,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9154,7 +9154,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9176,7 +9176,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9198,7 +9198,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9256,7 +9256,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9310,7 +9310,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9348,7 +9348,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9370,7 +9370,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9596,7 +9596,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9666,7 +9666,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),
@@ -9822,7 +9822,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionDecl(
name='mjs_findDefault',
return_type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
parameters=(
FunctionParameterDecl(
@@ -10262,7 +10262,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
FunctionParameterDecl(
name='def',
type=PointerType(
inner_type=ValueType(name='mjsDefault'),
inner_type=ValueType(name='mjsDefault', is_const=True),
),
),
),