如何防止rascal_builder在Eclipse IDE的每个保存中运行

时间:2019-01-26 15:28:10

标签: rascal

我一直在Eclipse 2018中进行Rascal项目。该项目大约有500 LOC。我的问题是在项目中保存文件大约需要20到40秒。这是由于每次保存后都会运行rascal_builder。

由于我习惯于在编辑过程中进行多次保存,因此这开始降低我的工作效率。有没有一种方法可以阻止rascal_builder在每次保存时都被调用,并且仅在请求程序的实际执行时才运行它?我对保留语法注释不感兴趣,例如错误的声明,引号缺失等。

1 个答案:

答案 0 :(得分:1)

是的,在eclipse的配置部分(在Mac上为import React from "react"; import ReactDOM from "react-dom"; import styled from "styled-components"; const Wrapper = styled.article` width: 200px; background: grey; text-align: center; padding: 12px 0 8px 0; `; const Header = styled.p` font-size: 15px; `; const Options = styled.div` display: flex; margin-bottom: 5px; `; const Option = styled.div` display: flex; align-items: center; border-bottom: 1px solid #d8d8d8; `; const FirstOption = styled(Option)` justify-content: flex-end; `; const Text = styled.p` font-size: 15px; margin: 4px 0; `; const Left = styled.div` flex: 1; margin-right: 5px; `; const Right = styled.div` flex: 1; margin-left: 5px; `; const teams = ["Liverpool", "Chelsea", "Fulham"]; function App() { return ( <Wrapper> <Header>Choose your team</Header> <Options> <Left> <input style={{ width: '100%', boxSizing: 'border-box'}} type="text" /> {teams.map(team => ( <FirstOption key={team}> <Text>{team}</Text> </FirstOption> ))} </Left> <Right> <input style={{ width: '100%', boxSizing: 'border-box' }} type="text" /> {teams.map(team => ( <Option> <Text>{team}</Text> </Option> ))} </Right> </Options> </Wrapper> ); } const rootElement = document.getElementById("root"); ReactDOM.render(<App />, rootElement); )中,转到“ Rascal”部分并禁用实验性编译器标志。