suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added the helper functions for adding and subtracting Times in C++CSP

Browse Source
This commit is contained in:
Neil Brown 2008-03-23 13:29:22 +00:00
parent cc6dce5ead
commit fc4cac736b
2 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
backends/GenerateC.hs
View File

@ -896,9 +896,10 @@ cgenSizeSuffix dim = tell ["_sizes[", dim, "]"]
cgenTypeSymbol :: String -> A.Type -> CGen () cgenTypeSymbol :: String -> A.Type -> CGen ()
cgenTypeSymbol s t cgenTypeSymbol s t
= do f <- fget getScalarType = do f <- fget getScalarType
case f t of case (t, f t) of
Just ct -> tell ["occam_", s, "_", ct] (A.Time, _) -> tell ["occam_", s, "_time"]
Nothing -> call genMissingC $ formatCode "genTypeSymbol %" t (_, Just ct) -> tell ["occam_", s, "_", ct]
(_, Nothing) -> call genMissingC $ formatCode "genTypeSymbol %" t
cgenIntrinsicFunction :: Meta -> String -> [A.Expression] -> CGen () cgenIntrinsicFunction :: Meta -> String -> [A.Expression] -> CGen ()
cgenIntrinsicFunction m s es cgenIntrinsicFunction m s es

12
support/tock_support_cppcsp.h
View File

@ -296,6 +296,18 @@ public:
}; };
// Time addition and subtraction:
inline csp::Time occam_plus_time (const csp::Time& a, const csp::Time& b, const char *)
{
return a + b;
}
inline csp::Time occam_minus_time (const csp::Time& a, const csp::Time& b, const char *)
{
return a - b;
}
// Time intrinsics for Rain: // Time intrinsics for Rain:
inline double occam_toSeconds(const csp::Time& val, const char*) inline double occam_toSeconds(const csp::Time& val, const char*)