total
在上面的代码中,我的值fetchValue()
位于名为main.js
的JavaScript文件中的函数total
内。
我可以在另一个JavaScript文件calculate.js
中访问solver loadBackgroundTheoryFile(context& c, string filename) {
Z3_ast ast = Z3_parse_smtlib2_file(c, filename.c_str(), 0, 0, 0, 0, 0, 0);
Z3_solver c_solver;
expr e(c, ast);
solver s(c);
s.add(e);
return s;
}
int main() {
context g;
solver s = loadBackgroundTheoryFile(g, "family.smt2");
std::cout << s << std::endl;
// Here it shows that the solver has all the contents of the family.smt2 file
return 0;
}
吗?
如何?
答案 0 :(得分:1)
<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http://schemas.android.com/apk/res/android"
android:id="@+id/rl_cost"
android:layout_width="match_parent"
android:layout_height="wrap_content"
android:orientation="horizontal"
android:paddingStart="@dimen/activity_horizontal_margin"
android:weightSum="2">
<TextView
android:id="@+id/txt_cost"
android:layout_width="0dp"
android:layout_height="wrap_content"
android:layout_gravity="center"
android:gravity="right"
android:layout_weight="1"
android:text="Coste:"
android:textColor="@color/color_black"
android:textSize="15sp" />
<Spinner
android:id="@+id/spn_cost"
android:layout_width="0dp"
android:layout_height="wrap_content"
android:layout_weight="1" />
</LinearLayout>
答案 1 :(得分:0)
您可以在fetchValue结束时返回总计。然后,在calculate.js中,您可以在导入main.js后调用fetchValue()。如果您能提供代码结构,那么回答您的问题会更容易。
//main.js
export function fetchValue(){
var bill = JSON.parse(localStorage.getItem('bill'));
var result = document.getElementById('total');
result.innerHTML='';
var total=0;
for(var i=0;i < bill.length;i++){
var items= bill[i].items;
var date= bill[i].date;
var price= bill[i].price;
total+= parseFloat(price);
}
return total;
}
//calculate.js
import { fetchValue } from 'pathTo/main.js';
function someFunction(){
fetchValue();
}
看看这个answer。
答案 2 :(得分:0)
当然,您必须在函数中添加返回句子,这样您就可以在main.js
文件中添加:
//main.js
function fetchValue(){
var bill = JSON.parse(localStorage.getItem('bill'));
var result = document.getElementById('total');
result.innerHTML='';
var total = 0;
var size = bill.length; //it's better have another variable with the lenght value for optimization of calcul
for(var i=0;i < size; i++){
var items= bill[i].items;
var date= bill[i].date;
var price= bill[i].price;
total+= parseFloat(price);
}
return total; // return your value
}
在另一个文件calculate.js
中添加对函数的调用
//calculate.js
var total = fetchValue();