Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / Headers / context.h

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 2493d3121c62ac15e36b2c444e8d7e4cf8220d11..a272f29b08df3c27a7bc02d46a732f20bb647561 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -154,6 +154,9 @@ extern int context_getLineLen (void) /*@*/ ;
 extern int context_getIndentSpaces (void) /*@*/ ;
 # define context_getIndentSpaces() ((int)context_getValue(FLG_INDENTSPACES))
 
+extern int context_getLocIndentSpaces (void) /*@*/ ;
+# define context_getLocIndentSpaces() ((int)context_getValue(FLG_LOCINDENTSPACES))
+
 extern int context_getValue (flagcode p_flag) /*@*/ ;
 extern void context_setValueAndFlag (flagcode p_flag, int p_val) 
    /*@modifies internalState@*/ ;