Merge pull request #202 from sc-forks/allow-interfaces

Allow interface contracts

lib/instrumentSolidity.js

@@ -40,7 +40,8 @@ module.exports = function instrumentSolidity(contractSource, fileName) {
   ast = SolidityParser.parse(contract.preprocessed);
 
   const contractStatement = ast.body.filter(node => (node.type === 'ContractStatement' ||
-                                                     node.type === 'LibraryStatement'));
+                                                     node.type === 'LibraryStatement'  ||
+                                                     node.type === 'InterfaceStatement'));
   contract.contractName = contractStatement[0].name;
 
   parse[ast.type](contract, ast);

lib/parse.js

@@ -102,6 +102,10 @@ parse.IfStatement = function parseIfStatement(contract, expression) {
   }
 };
 
+parse.InterfaceStatement = function parseInterfaceStatement(contract, expression) {
+  parse.ContractOrLibraryStatement(contract, expression);
+};
+
 parse.LibraryStatement = function parseLibraryStatement(contract, expression) {
   parse.ContractOrLibraryStatement(contract, expression);
 };

test/cli/totallyPure.js

@@ -74,4 +74,10 @@ contract('TotallyPure', accounts => {
     const value = await instance.multiline(5, 7)
     assert.equal(value.toNumber(), 99);
   });
+
+  it('calls a method who signature is defined by an interface', async () => {
+    const instance = await TotallyPure.deployed();
+    await instance.cry();
+  });
+
 });

test/sources/cli/Face.sol

@@ -0,0 +1,7 @@
+pragma experimental "v0.5.0";
+//pragma solidity ^0.4.17;
+
+interface Face {
+  function stare(uint a, uint b) external;
+  function cry() external;
+}

test/sources/cli/TotallyPure.sol

@@ -1,10 +1,11 @@
 pragma experimental "v0.5.0";
 //pragma solidity ^0.4.17;
 
+import "./../assets/Face.sol";
 import "./../assets/PureView.sol";
 import "./../assets/CLibrary.sol";
 
-contract TotallyPure is PureView {
+contract TotallyPure is PureView, Face {
   uint onehundred = 99;
 
   function usesThem() {
@@ -49,4 +50,11 @@ contract TotallyPure is PureView {
     return onehundred;
   }
 
+  function stare(uint a, uint b) external {
+    uint z = a + b;
+  }
+
+  function cry() external {
+
+  }
 }

test/util/mockTruffle.js

@@ -167,6 +167,7 @@ module.exports.installLibraryTest = function installInheritanceTest(config) {
   shell.cp('./test/cli/totallyPure.js', './mock/test/totallyPure.js');
   shell.cp('./test/sources/cli/PureView.sol', './mock/assets/PureView.sol');
   shell.cp('./test/sources/cli/CLibrary.sol', './mock/assets/CLibrary.sol');
+  shell.cp('./test/sources/cli/Face.sol', './mock/assets/Face.sol');
 
   // Mock truffle.js
   const trufflejs = `module.exports = {