From a583403372203f57edc7314455db5a89d5066ad1 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sat, 6 Oct 2007 11:40:10 +0000 Subject: [PATCH] Removed the C++ code for IsChannelArray, so that the C version is used instead --- backends/GenerateCPPCSP.hs | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/backends/GenerateCPPCSP.hs b/backends/GenerateCPPCSP.hs index 428dd97..3e13c6d 100644 --- a/backends/GenerateCPPCSP.hs +++ b/backends/GenerateCPPCSP.hs @@ -927,16 +927,6 @@ cppintroduceSpec ops (A.Specification _ n (A.IsExpr _ am t e)) rhs tell [";\n"] --- We must create the channel array then fill it: -cppintroduceSpec ops (A.Specification _ n (A.IsChannelArray _ t cs)) - = do call genDeclaration ops t n False - sequence_ $ map genChanArrayElemInit (zip [0 .. ((length cs) - 1)] cs) - where - genChanArrayElemInit (index,var) - = do genName n - tell ["[",show index,"].access() = "] --Use the .access() function to cast a 0-dimension array into a T& for access - call genVariable ops var - tell [";"] --This clause was simplified, because we don't need separate array sizes in C++: cppintroduceSpec ops (A.Specification _ n (A.RecordType _ b fs)) = do tell ["typedef struct{"]