Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/cuplv/thresher
/ functions
Functions
5,520 in github.com/cuplv/thresher
⨍
Functions
5,520
◇
Types & classes
949
↓ 15 callers
Method
getStoreUri
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:689
↓ 15 callers
Method
getTime
Get the time. It is only legal, if it matches {@link #VALIDATION_EXPRESSION}. @return the time as hh:mm
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/TimePickerPreference.java:169
↓ 15 callers
Method
ioExceptionHandler
(ImapConnection connection, IOException ioe)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1772
↓ 15 callers
Method
isLoopHead
@param suspected loop head @param IR for block containing suspected loop head @return true if suspsectedHead is a loop head, false o
src/edu/colorado/thresher/core/WALACFGUtil.java:93
↓ 15 callers
Method
make
(Set<Constraint> constraints, IQuery old)
src/edu/colorado/thresher/core/CombinedPathAndPointsToQuery.java:155
↓ 15 callers
Method
makePointerStatement
(SSAInstruction instr, PointerVariable lhs, PointerVariable rhs, PointerStatement.EdgeType type, String
src/edu/colorado/thresher/core/Util.java:203
↓ 15 callers
Method
messageFinished
(Message message, int number, int ofTotal)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessageRetrievalListener.java:9
↓ 15 callers
Method
readLine
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:827
↓ 15 callers
Method
save
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1504
↓ 15 callers
Method
setCurrentNode
(CGNode currentNode)
src/edu/colorado/thresher/core/IPathInfo.java:549
↓ 14 callers
Method
containsStringConst
()
src/edu/colorado/thresher/core/PointsToEdge.java:391
↓ 14 callers
Method
deepCopySet
(Set<T> set)
src/edu/colorado/thresher/core/Util.java:1281
↓ 14 callers
Method
evaluate
()
src/edu/colorado/thresher/core/PathTerm.java:33
↓ 14 callers
Method
flush
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/filter/LineWrapOutputStream.java:72
↓ 14 callers
Method
getCell
Gets cell at given position. @param rowIndex @param colIndex @return
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/CellCollection.java:144
↓ 14 callers
Method
getIntegerConstant
()
src/edu/colorado/thresher/core/SimplePathTerm.java:402
↓ 14 callers
Method
getNumberOfParameters
()
src/edu/colorado/thresher/core/SharedAllocationEntrypoint.java:53
↓ 14 callers
Method
getObject
()
src/edu/colorado/thresher/core/SimplePathTerm.java:370
↓ 14 callers
Method
getRecipients
Returns a list of the given recipient type from this message. If no addresses are found the method returns an empty array.
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:155
↓ 14 callers
Method
getRhs
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:261
↓ 14 callers
Method
insert
(Uri uri, ContentValues values)
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:955
↓ 14 callers
Method
setFlags
(Message[] messages, Flag[] flags, boolean value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:118
↓ 14 callers
Method
stop
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Pusher.java:9
↓ 14 callers
Method
toString
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:169
↓ 13 callers
Method
addPath
add a path to the paths to explore. override to change exploration strategy. default is DFS override to change exploration strategy. default is DFS
src/edu/colorado/thresher/core/ISymbolicExecutor.java:108
↓ 13 callers
Method
clear
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:479
↓ 13 callers
Method
execute
@param context @param runner @param wakeLockTime @param startId @return returns whether service-shutdown will actually happen after the task has been
apps/pldi13/K9Mail/src/com/fsck/k9/service/CoreService.java:187
↓ 13 callers
Method
getArchiveFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:903
↓ 13 callers
Method
getDisplayCount
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:811
↓ 13 callers
Method
getLhs
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:257
↓ 13 callers
Method
getMessage
(String uid)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:945
↓ 13 callers
Method
getSentFolderName
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:883
↓ 13 callers
Method
getSize
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:439
↓ 13 callers
Method
getTextFromPart
Reads the Part's body and returns a String based on any charset conversion that needed to be done. Note, this <b>does not</b> return a text represent
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:1001
↓ 13 callers
Method
getValue
Gets the value from the {@link SharedPreferences}. @return The current preference value.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SeekBarPreference.java:156
↓ 13 callers
Method
messageStarted
(String uid, int number, int ofTotal)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessageRetrievalListener.java:7
↓ 13 callers
Method
putInt
(String key, int value)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:111
↓ 13 callers
Method
release
()
apps/pldi13/K9Mail/src/com/fsck/k9/helper/power/TracingPowerManager.java:87
↓ 13 callers
Method
setBody
(Body body)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:30
↓ 13 callers
Method
setFlag
@param holders Messages to update. Never {@code null}. @param flag Flag to be updated on the specified messages. Never
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2579
↓ 12 callers
Method
acquire
(long timeout)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/power/TracingPowerManager.java:56
↓ 12 callers
Method
addListener
(final StorageListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:705
↓ 12 callers
Method
base64Decode
(String encoded)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:83
↓ 12 callers
Method
expect
(Class<?> c)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:430
↓ 12 callers
Method
getMaximumAutoDownloadMessageSize
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1312
↓ 12 callers
Method
getMemory
(Account account, String folderName)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4396
↓ 12 callers
Method
getMessage
(final String uid)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1827
↓ 12 callers
Method
getNote
Gets note attached to the cell. @return Note attached to the cell.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:171
↓ 12 callers
Method
getTerms
()
src/edu/colorado/thresher/core/PathTerm.java:41
↓ 12 callers
Method
init
Hook point for provider initialization. @param context Never <code>null</code>.
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/StorageManager.java:65
↓ 12 callers
Method
intersectionNonEmpty
(Collection<T> a, Set<T> b)
src/edu/colorado/thresher/core/Util.java:1686
↓ 12 callers
Method
isCopyCapable
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:96
↓ 12 callers
Method
pop
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/command/CommandStack.java:102
↓ 12 callers
Method
printCollection
(Collection<T> c)
src/edu/colorado/thresher/core/Util.java:1598
↓ 12 callers
Method
refresh
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Pusher.java:8
↓ 12 callers
Method
sendMessage
(Message message)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Transport.java:27
↓ 12 callers
Method
setFlag
@param flag Flag to set. Never <code>null</code>. @param set If <code>true</code>, the flag is added. If <code>false</code>
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:164
↓ 12 callers
Method
setTextColor
(int color)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SudokuBoardView.java:158
↓ 12 callers
Method
substituted
()
src/edu/colorado/thresher/core/PathTerm.java:35
↓ 12 callers
Method
updateFolderColumn
(final String column, final Object value)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1398
↓ 12 callers
Method
value
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1173
↓ 11 callers
Method
Post
(boolean assertion)
src/edu/colorado/thresher/core/Util.java:1121
↓ 11 callers
Method
addRule
(DependencyRule rule, SSAInstruction instr, CGNode node)
src/edu/colorado/thresher/core/AbstractDependencyRuleGenerator.java:1545
↓ 11 callers
Method
close
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:696
↓ 11 callers
Method
create
Creates a customized confirmation dialog ({@link AlertDialog}). @param activity The activity this dialog is created for. @param dialogId The id that
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ConfirmationDialog.java:22
↓ 11 callers
Method
dropConstraintsContaining
(Set<PointerVariable> vars)
src/edu/colorado/thresher/core/CombinedPathAndPointsToQuery.java:1047
↓ 11 callers
Method
executeSimpleCommand
(String command)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:2262
↓ 11 callers
Method
formatTime
(int seconds)
apps/pldi13/StandupTimer/src/net/johnpwood/android/standuptimer/utils/TimeFormatHelper.java:17
↓ 11 callers
Method
foundWitness
()
src/edu/colorado/thresher/core/IPathInfo.java:584
↓ 11 callers
Method
getFirstHeader
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:359
↓ 11 callers
Method
getFolder
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:80
↓ 11 callers
Method
getFontSizes
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:891
↓ 11 callers
Method
getType
(Uri uri)
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:942
↓ 11 callers
Method
isInLoopBody
@return - true if suspectedLoopBodyBlock is in the body of any loop, false otherwise
src/edu/colorado/thresher/core/WALACFGUtil.java:201
↓ 11 callers
Method
processPendingCommands
(final Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:1844
↓ 11 callers
Method
processRequest
Performs an httprequest to the supplied url using the supplied method. messageBody and headers are optional as not all requests will need them. There
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:1004
↓ 11 callers
Method
push
(AbstractCommand command)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/command/CommandStack.java:95
↓ 11 callers
Method
requiredFieldValid
(TextView view)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:99
↓ 11 callers
Method
setFlag
( final Message[] messages, final Flag flag, final boolean newState)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:2518
↓ 11 callers
Method
sortMessages
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:426
↓ 11 callers
Method
symbEq
(PointerVariable other)
src/edu/colorado/thresher/core/PointerVariable.java:49
↓ 11 callers
Method
update
(Uri uri, ContentValues values, String selection, String[] selectionArgs)
apps/pldi13/K9Mail/src/com/fsck/k9/provider/MessageProvider.java:1000
↓ 10 callers
Method
addPath
add a path to the paths to explore. override to change exploration strategy. default is DFS override to change exploration strategy. default is DFS
src/edu/colorado/thresher/core/BasicSymbolicExecutor.java:588
↓ 10 callers
Method
checkOpen
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1766
↓ 10 callers
Method
clear
(final Account account, final MessagingListener ml)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:3810
↓ 10 callers
Method
clear
()
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Editor.java:44
↓ 10 callers
Method
close
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:2173
↓ 10 callers
Method
getCryptoProvider
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:1452
↓ 10 callers
Method
getCurrentLineNum
()
src/edu/colorado/thresher/core/IPathInfo.java:572
↓ 10 callers
Method
getInputStream
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Body.java:9
↓ 10 callers
Method
getMimeType
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Part.java:28
↓ 10 callers
Method
getMode
Get the mode the folder was opened with. This may be different than the mode the open was requested with. @return
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Folder.java:59
↓ 10 callers
Method
getPointerKeys
()
src/edu/colorado/thresher/core/PathTerm.java:23
↓ 10 callers
Method
getPossibleValues
()
src/edu/colorado/thresher/core/SymbolicPointerVariable.java:123
↓ 10 callers
Method
getStmt
()
src/edu/colorado/thresher/core/DependencyRule.java:211
↓ 10 callers
Method
getTimeFormat
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/K9Activity.java:82
↓ 10 callers
Method
isInDomain
(String address, String domain)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeUtility.java:1340
↓ 10 callers
Method
isLoopMergeIndicator
()
src/edu/colorado/thresher/core/IPathInfo.java:629
↓ 10 callers
Method
pack
Packs an address list into a String that is very quick to read and parse. Packed lists can be unpacked with unpackAddressList() The packed list is a "
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Address.java:328
↓ 10 callers
Method
returnFromCall
return from a callee. note that the CGNode of currentPath should be the caller, NOT the callee @param callee - method we are returning from
src/edu/colorado/thresher/core/IQuery.java:114
← previous
next →
201–300 of 5,520, ranked by callers