This file is indexed.

/usr/lib/faust/gui/FUI.h is in faust 0.9.46-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
#ifndef FAUST_FUI_H
#define FAUST_FUI_H

#include "UI.h"

#include <string>
#include <map>
#include <set>
#include <vector>
#include <stack>

#include <iostream>
#include <fstream>

using namespace std;

#if 1

/*******************************************************************************
 * FUI : used to save and recall the state of the user interface
 * This class provides essentially two new methods saveState() and recallState()
 * used to save on file and recall from file the state of the user interface.
 * The file is human readble and editable
 ******************************************************************************/

class FUI  : public UI
{
	stack<string>		fGroupStack;
	vector<string>		fNameList;
	map<string, float*>	fName2Zone;

 protected:

 	// labels are normalized by replacing white spaces by underscores and by
 	// removing parenthesis
	string normalizeLabel(const char* label)
	{
		string 	s;
		char 	c;

		while ((c=*label++)) {
			if (isspace(c)) 				{ s += '_'; }
			//else if ((c == '(') | (c == ')') ) 	{ }
			else 							{ s += c; }
		}
		return s;
	}

	// add an element by relating its full name and memory zone
	virtual void addElement (const char* label, float* zone)
	{
		string fullname (fGroupStack.top() + '/' + normalizeLabel(label));
		fNameList.push_back(fullname);
		fName2Zone[fullname] = zone;
	}

	// keep track of full group names in a stack
	virtual void pushGroupLabel(const char* label)
	{
		if (fGroupStack.empty()) {
			fGroupStack.push(normalizeLabel(label));
		} else {
			fGroupStack.push(fGroupStack.top() + '/' + normalizeLabel(label));
		}
	}

	virtual void popGroupLabel()
	{
		fGroupStack.pop();
	};

 public:

	FUI() 			{}
	virtual ~FUI() 	{}

	// -- Save and recall methods

	// save the zones values and full names
	virtual void saveState(const char* filename)
	{
		ofstream f(filename);

		for (unsigned int i=0; i<fNameList.size(); i++) {
			string	n = fNameList[i];
			float*	z = fName2Zone[n];
			f << *z << ' ' << n << endl;
		}

		f << endl;
		f.close();
	}

	// recall the zones values and full names
	virtual void recallState(const char* filename)
	{
		ifstream f(filename);
		float	v;
		string	n;

		while (f.good()) {
			f >> v >> n;
			if (fName2Zone.count(n)>0) {
				*(fName2Zone[n]) = v;
			} else {
				cerr << "recallState : parameter not found : " << n << " with value : " << v << endl;
			}
		}
		f.close();
	}


    // -- widget's layouts (just keep track of group labels)

    virtual void openFrameBox(const char* label) 		{ pushGroupLabel(label); }
    virtual void openTabBox(const char* label) 			{ pushGroupLabel(label); }
    virtual void openHorizontalBox(const char* label) 	{ pushGroupLabel(label); }
    virtual void openVerticalBox(const char* label)  	{ pushGroupLabel(label); }
    virtual void closeBox() 							{ popGroupLabel(); };

    // -- active widgets (just add an element)

    virtual void addButton(const char* label, float* zone) 			{ addElement(label, zone); }
    virtual void addToggleButton(const char* label, float* zone) 	{ addElement(label, zone); }
    virtual void addCheckButton(const char* label, float* zone) 	{ addElement(label, zone); }
    virtual void addVerticalSlider(const char* label, float* zone, float , float , float , float )
    																{ addElement(label, zone); }
    virtual void addHorizontalSlider(const char* label, float* zone, float , float , float , float )
    																{ addElement(label, zone); }
    virtual void addNumEntry(const char* label, float* zone, float , float , float , float )
    																{ addElement(label, zone); }

    // -- passive widgets (are ignored)

    virtual void addNumDisplay(const char* , float* , int ) {};
    virtual void addTextDisplay(const char* , float* , const char*[], float , float ) {};
    virtual void addHorizontalBargraph(const char* , float* , float , float ) {};
    virtual void addVerticalBargraph(const char* , float* , float , float ) {};

	// -- metadata are not used

    virtual void declare(float* , const char* , const char* ) {}
};
#endif

#endif